Important tip when debugging Pi Pico with openocd and Pico Debug Probe

[MiR]

I just learned the hard way that timers do not work when you debug an app for the Pico. Which makes short delay loops take forever....

A good summary is here:

https://github.com/raspberrypi/pico-sdk/issues/1622

So, when you face the same issue this commandline will solve it:

openocd -f interface/cmsis-dap.cfg -c "set USE_CORE 0" -f target/rp2040.cfg -c "adapter speed 5000"

Have fun,

Michael

[VisualLab]

I just learned the hard way that timers do not work when you debug an app for the Pico. Which makes short delay loops take forever....

A good summary is here:

https://github.com/raspberrypi/pico-sdk/issues/1622

So, when you face the same issue this commandline will solve it:

openocd -f interface/cmsis-dap.cfg -c "set USE_CORE 0" -f target/rp2040.cfg -c "adapter speed 5000"

Have fun,

Michael

The thread shows that this is a temporary workaround (of course, a workaround is always better than nothing). Ultimately, we probably have to wait for OpenOCD version 0.13 (if the required changes regarding RPi Pico are included in it).

[MiR]

In the past Raspberry Fondation was refering to their own branch, but when I last checked this was gone and instead they point the user to official 0.12 release of openocd.
So I followed their advice and ended up in debugging hell.....

Really hope that they fix this/get their fix accepted by openocd in an upcoming release.....

Michael