General • Re: openocd does not restartpico_w properly

Maybe ask on the OpenOCD discussion groups https://openocd.org/pages/discussion.html

This should not be the first port of call as we use a downstream fork of OpenOCD. The RP2040 support is upstreamed, but it's possible a downstream modification has created a bug.

Statistics: Posted by jdb — Fri Jun 20, 2025 7:10 am

---