Ajoutez l'URL suivante https://github.com/earlephilhower/arduino-pico/releases/download/global/package_rp2040_index.json dans Préférences > Gestionnaire de cartes supplémentaires.
Cherchez RP2040 dans le menu Outils > Type de carte > Gestionnaire de carte.
Choisissez la carte dans la liste Outils > Type de carte > Gestionnaire de carte> Raspberry Pi RP2040 Boards
Ouvrez l'exemple Fichier > Exemples > 01.Basics > Blink.
https://doc.riot-os.org/group__boards__rpi__pico.html
cd ~/github/RIOT_OS/RIOT/tests/leds
make BOARD=rpi-pico PROGRAMMER=openocd flash