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 …