GitHub repository: FeuerSturm/arduino-pico
Description: Raspberry Pi Pico Arduino core, for all RP2040 boards