Raspberry Pi Pico C Software Development Kit (SDK) v1.5.1 - includes libraries

SDK Dependancies - Debian

apt install cmake gcc-arm-none-eabi libnewlib-arm-none-eabi libstdc++-arm-none-eabi-newlib

New Project Template - Pi Pico C SDK