Raspberry Pi Pico Arduino core, for all RP2040 and RP2350 boards - View it on GitHub