pico-setup
pico-setup copied to clipboard
Remove defunct OpenOcd option and rename picoprobe to debugprobe
In line with https://github.com/raspberrypi/debugprobe/pull/117