Moin!
Ich habe eben entdeckt, das der pico nun in der Arduino Ide angekommen ist.
Unter "Boardverwalter" nach rp2040 suchen.
Ein eigener Loader(Flasher) ist dabei.
Ob es schon mit allen Bibliotheken funktioniert, kann ich nicht sagen. Ein "Blink" geht.
73 de Bernd