Qu'est ce que Raspberry Pi OS

"Raspberry Pi OS" est une distribution Linux Debian customisée pour raspberry PI et qui était nommée avant "Raspbian".

Obtenir la dernière version

Vous pouvez télécharger un zip contenant l'image à l'URL : https://www.raspberrypi.com/software/operating-systems/.

Vous avez plusieurs choix répartis dans plusieurs sections :

Utiliser une version d'archive

Dans notre cas, il convient donc de récupérer une version antérieure de Raspberry Pi OS et il est possible d''y accéder grâce aux archives disponibleepuis l'URL : https://downloads.raspberrypi.org/.

La version que l'on récupère fait alors référence à des dépôts d'installation de logiciel qui étaient alors dans l'état "stable" et qui sont maintenant dans l'état "oldstable" voir dans l'état "oldoldstable". Il sera donc nécessaire, avant d'utiliser la commande "apt-get update" (ou tout script qui l'utiliserait), d'autoriser ce changement d'état des dépôts en passant la commande :
sudo apt-get --allow-releaseinfo-change update

Pour télécharger la dernière image de la version 10 (buster) compatible officiellement avec Grove PI, il faut se rendre dans les sous répertoires suivant :

Et télécharger le fichier 2023-05-03-raspios-buster-armhf-lite.img.xz.

Transfert sur carte SD

Pour le transfert sur carte SD, deux solutions sont possibles :