Raspberry pi
From Wiki at Neela Nurseries
2022-08-03
RPi Pico board datasheet, contains Pico board schematic:
Some Zephyr documentation on RPi Pico board, Zephyr 3.1.0:
Special fork of `openocd` which can be used to flash and to debug RPi Pico via SWD interface . . . but what would the physical device and connection be from PC to RPi Pico SWD pins?
RPi Pico board always appears as mass storage device, whether boot select button pressed or not: