Thanks for reporting and sorry: my bad! You proposed a correct solution. Could you please submit the patch directly to https://review.openocd.org/ ? See https://openocd.org/doc/doxygen/html/patchguide.html for details.
Please reference the commit which caused the problem in the commit message: ~~~ Fixes: 228fe7300c7d (tcl/target: remove rp2040-core0.cfg) ~~~ --- ** [tickets:#385] pico-debug.cfg broken by removal of rp2040-core0.cfg** **Status:** new **Milestone:** 0.11.0 **Created:** Mon Mar 13, 2023 11:35 PM UTC by Bohden Landis **Last Updated:** Mon Mar 13, 2023 11:35 PM UTC **Owner:** Antonio Borneo rp2040-core0.cfg has been deprecated and removed. In pico-debug.cfg: source [find target/rp2040-core0.cfg] should be replaced with: set USE_CORE 0 source [find target/rp2040.cfg] --- Sent from sourceforge.net because openocd-devel@lists.sourceforge.net is subscribed to https://sourceforge.net/p/openocd/tickets/ To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/openocd/admin/tickets/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.