First all it seems to be working fairly well
** building
mkdir build && cd build cmake .. make -j8
cmake .. make -j8
** Using openocd with cmisis-dap (picoprobe)
This will upload the elf to /rp2040/
make ocd_flash
** Debug There are two different ways of debugging (using /openocd/). The first will open a tmux and provide both openocd and gdb output.
Console:
make debug
gdbgui:
make gui_debug