Another interesting feature-ette of the Sipeed RV-Debugger Lite is that the serial port on it does not support 115200.
Just the following:-
2400 4800 9600 19200 38400 43000 56000 57600 128k 256k
I guess 115200 must be a division of the micro-controllers clock that is not supported.
However the next fastest speed of 128000 seems to work OK
--- Available filters and text transformations: colorize, debug, default, direct, hexlify, log2file, nocontrol, printable, send_on_enter, time
--- More details at http://bit.ly/pio-monitor-filters
--- Miniterm on /dev/ttyUSB1 128000,8,N,1 ---
--- Quit: Ctrl+C | Menu: Ctrl+T | Help: Ctrl+T followed by Ctrl+H ---
USART0 Initialised to 128000 8N1 no flow control
Booted
Device Info:-
Flash: 64kB
SRAM: 20kB
Device ID: 3934057C 00053935 FFFFFFFF
Having a debugger that also has a serial port to monitor output during the development phase without needing to plug in a separate device is handy. Just watch out for what is for many (particularly those used to AVR and Arduino) the default baud rate not being supported.