The code in this repository originate from the Getting started with Raspberry Pi Pico document https://datasheets.raspberrypi.org/pico/getting-started-with-pico.pdf
CC BY-ND Raspberry Pi (Trading) Ltd
The README and all helper scripts are released under the CC0.