Getting started with pico [PDF] (datasheets.raspberrypi.org)
Posted 11 months ago raspberrypi pico notes
Picotool (github.com)