On the REPL, CTRL-D should reset the board. Instead the board doesn't reset and REPL becomes unresponsive. Tested with picocom and screen.