Pour programmer la carte Raspberry Pi Pico en langage C/C++, la fondation Raspberry Pi propose un kit de développement : le Raspberry Pi Pico C/C++ SDK.
Si vous voulez tester ce kit sous Linux, et sans trop d’efforts, ce tutoriel est peut-être fait pour vous…
https://www.raspberrypi.com/documentation/microcontrollers/c_sdk.html#raspberry-pi-pico-cc-sdk