Useful utility commands for developing with the Raspberry Pi Pico on a Raspberry Pi.

Tested on a Raspberry Pi 4 Model B running Raspberry Pi OS.

Upload an elf file to a Raspberry Pi Pico running in SWD mode.

Usage: pif FILE
Eample: pif blinky.elf

Reset a Raspberry Pi Pico running in SWD mode.

Usage: pir

Generate files for a debug build.

Usage: cmaked

Start openocd for a Raspberry Pi Pico.

Usage: oocd

Start the GNU debugger and run the following commands:

target remote localhost:3333
load
monitor reset init
break main
continue
layout src

Usage: gdbm FILE
Eample: gdbm blinky.elf