Pico SDK
Raspberry Pi Pico SDK
The Pico C SDK is a C/C++ development kit for Raspberry Pi microcontrollers including the RP2350. Click on the links below for complete documentation on installing and using the SDK.
Pro Micro - RP2350 Board Definition
With the release of Pico SDK v2.1, the Pro Micro - RP2350 is included with it's on board definition. When uploading, select sparkfun_promicro_rp2350.