Pour être en mesure de téléverser un firmware fraîchement compilé dans une carte Raspberry pi Pico (mais pas que, c'est valable aussi pour les autres types de cartes), il faut soit être root, soit avoir mis en place une règle udev pour autoriser l'utilisateur à accéder au matériel. Voyons comment faire…
La première chose à faire est de placer la carte en mode BOOTSEL. Pour cela, il faut d'abord débrancher la carte, puis la rebrancher en maintenant le bouton BOOTSEL appuyé.
On peut ensuite récupérer l'identifiant du fabricant (idVendor) et du matériel (idProduct) spécifique à la Raspberry pi Pico lorsqu'elle est en mode BOOTSEL, en utilisant la commande suivante dans un terminal :
lsusb
La liste des appareils USB connectés à l'ordinateur sont alors listés, et on peut identifier immédiatement les deux paramètres dont nous avons besoin :
Il faut ensuite créer (avec le compte root) le fichier /etc/udev/rules.d/99-pico.rules en y plaçant le contenu suivant :
# Pico en mode BOOTSEL
SUBSYSTEMS=="usb", ATTRS{idVendor}=="2e8a", \
ATTRS{idProduct}=="0003", MODE="0660", GROUP="plugdev"
et recharger les règles udev avec la commande :
sudo udevadm control --reload
Tous les utilisateurs faisant partie du groupe plugdev peuvent maintenant téléverser leurs programmes dans la pico.