Raspberry Pi's downstream fork of OpenOCD for use with Pico-series devices. - View it on GitHub