Where I show a simple method of using gdb to debug code on the RP2040 (Pi Pico board).
Sources#
- Raspberry Pi Pico SDK: Raspberry Pi Pico SDK
- Raspberry Pi Pico Pinout
- GDB Documentation
- Guide to Faster, Less Frustrating Debugging - Norman Matloff
- gdb Resources
Setup .gdbinit#
The Guide recommends at the very least, add “target remote localhost:3333” to your .gdbinit file. To make our edit/compile/link/load round trip easy, I recommend the following for your .gdbinit: