This is the C/C++ SDK documentation. Code for the Pico (RP2040) on https://github.com/raspberrypi/pico-sdk. The RP2040 is supported by the TinyUSB library. There’s a fun script for setting up the SDK: pico_setup.sh.
This bit of kit is amazing: RP2040-Zero RP2040 for Raspberry Pi Microcontroller PICO Development Board Module Dual-core Cortex M0+ Processor 2MB Flash. It does my head in the things that we can manufacture these days.
I discovered the MagPi magazine. A Raspberry Pi magazine free in PDF format.
So I found this great article: Checking Raspberry Pi Revision Number & Board Version
To enable the `pinout` command (which is kinda cool):
# apt install python3-gpiozero
See CPU info with:
# cat /proc/cpuinfo
And see model information with:
# cat /proc/device-tree/model
I have a few RPis on my desk but I had no idea what version they were. I ran these commands to find out:
$ cat /proc/cpuinfo | grep Model $ free -h $ lsb_release -a $ ip a