Hallo, Ich habe mir einen Raspberry Pi Pico geholt und habe ihn heute zum ersten mal auprobiert. Ich benutze die Arduino IDE und habe mir im Boardverwalter das Packet "Arduino Mbed OS RP2040 Boards" heruntergeladen und installiert (Das ist ja nur für den Pico). Laut Geräte Manager wurde ein Treiber installiert und ich höre auch den Ton wenn ich den Pico einstecke und er erkannt wird. Ich kann in der Arduino IDE aber keinen Sketch hochladen und auch keinen Port auswählen, das feld ist nur grau. Mir fällt keine weitere Lösung ein. Kann mir jemand weiter helfen?