How to debug
I use SecureCRT to monitor the output from UART0. When you try to utilize this tool, you should setup serial as bellow:
Note: In the Session Options, you must uncheck XON/XOFF, otherwise, you won't be able to input anything via serial!
To set break points and debug code, maybe you can use GDBSTUB.