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:
~
---
** [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 re
