I've seen this but it didn't result in a failed debug session. Please submit a bug report with steps to reproduce at https://github.com/raspberrypi/openocdHmm, using SDK 2.1.1 on a Pi5, with a debug probe and a pico, neither set of debugging instructions in the "getting-started-with-pico.pdf" work.
We follow the steps for "Manually Create your own Project" test.c etc.
Debug with openocd fails withDebug with SWD fails with the sameCode:
embedded:startup.tcl:1427: Error: args[i] option value ('CX') is not validThat CX is coming from, I think: /home/pi/pico/openocd/tcl/target/rp2040.cfg which hasCode:
embedded:startup.tcl:1427: Error: args[i] option value ('CX') is not validVSCode with Pico extension is installed on the same Pi - debugging blink.c works fine, and breaks at gpio_init(...)Code:
$_TARGETNAME_0 configure -event reset-init { rp2xxx rom_api_call 0 CX }
Statistics: Posted by jdb — Sat Jul 19, 2025 8:23 pm