La fondation à l'origine des cartes Raspberry Pi vient de mettre en avant un problème particulier, qui touche les utilisateurs de macOS Ventura : la copie vers les cartes Raspberry Pi Pico et les produits dérivés ne fonctionne pas et affiche une erreur peu compréhensible.
Le Raspberry Pi Pico est une carte de développement lancée en janvier 2021 (et améliorée récemment, avec l'ajout du Wi-Fi en juin 2022) assez différente des autres cartes Raspberry Pi. Ces dernières fonctionnent en effet sous GNU/Linux, alors que les cartes "Pico" exécutent directement du code (C, MicroPython, etc.) à la manière des Arduino. Et pour l'envoi des données vers la carte, la fondation utilise une technologie Microsoft qui pose un problème dans le cas présent : UF2 (USB Flashing Format).
Cette solution open source émule une clé USB formatée en FAT16, un vieux système de fichiers, normalement pris en charge par la majorité des OS, pour permettre l'envoi des données vers la carte. Pour l'utilisateur, le fonctionnement est simple : il suffit de copier un fichier UF2 (généré par les outils de développement) avec l'explorateur de fichiers de l'OS (le Finder avec macOS) et la carte s'occupe ensuite de placer les données au bon endroit. Mais avec macOS Ventura, cette méthode ne fonctionne pas : la copie via le Finder amène sur une erreur. Les raisons ne sont pas encore très claires, mais elles sont a priori liées à la gestion des systèmes de fichiers — modifiée dans la dernière version de l'OS —, notamment dans la façon dont sont enregistrées les métadonnées. Ce souci touche pour le moment le Raspberry Pi Pico mais aussi toutes les cartes qui se basent sur la même puce (RP2040) ainsi que quelques cartes de type Arduino.
En attendant une éventuelle correction de la part d'Apple, il existe quelques solutions pour les amateurs de Raspberry Pi Pico. La première est probablement la plus simple mais pas la plus intuitive : une copie en ligne de commande. En utilisant l'argument -X, qui force le système à ne pas copier les métadonnées, tout fonctionne correctement. Il existe d'autres méthodes détaillées dans le post de blog de la fondation, mais elles sont moins pratiques ou nécessitent des outils externes. Pour copier le fichier de test blink.uf2 (qui fait clignoter une LED), il faut donc taper la commande suivante : cp -X blink.uf2 /Volumes/RPI-RP2/ et ensuite l'adapter à votre programme (le nom du volume ne bouge jamais).