Debugging on RP2040
===================

Currently debugging support on Sming is limited to serial output and inspecting disassembly using GDB.

See https://www.raspberrypi.org/documentation/microcontrollers/raspberry-pi-pico.html