Pico Arduino IDE

Die Optionen zu den RP2040 Boards erscheinen nun im Menü.