Raspberry pi

2022-08-03

• https://www.raspberrypi.com/documentation/microcontrollers/raspberry-pi-pico.html#what-is-on-your-pico

• https://github.com/raspberrypi/pico-examples/blob/master/flash/nuke/nuke.c

RPi Pico board datasheet, contains Pico board schematic:

• https://datasheets.raspberrypi.com/pico/pico-datasheet.pdf

Some Zephyr documentation on RPi Pico board, Zephyr 3.1.0:

• https://docs.zephyrproject.org/3.1.0/boards/arm/rpi_pico/doc/index.html

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?

• https://github.com/raspberrypi/openocd