`zig build` to build

`openocd -f interface/cmsis-dap.cfg -f target/rp2040.cfg &>/dev/null &` starts the debug server for debugprobe (formerly picoprobe)

`telnet localhost 4444` to communicate with the debugger

`tio /dev/ttyACM0` to attach to the uart serial console

Within the telnet session, `adapter speed 10000` provides better probe speeds. `reset` resets the target board. `program <PATH_TO_ELF> reset` uploads the binary to the chip and resets the board.