To reproduce: - Load the consoleInput.c example and build it - Toggle run - Untoggle run - press reset While not crashing, Ripes takes _very_ long to complete the reset.