The Raspberry Pico is a based upon the RP2040 MCU.
The SDK is available at Github. To use, the easiest approach is to clone this repository:
git clone --recursive git@github.com:raspberrypi/pico-sdk.git
