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.