GDB-compatible RISC-V Debugger for CH32V003 that runs on a Raspberry Pi Pico - View it on GitHub