Salut.
J’utilise depuis 2012 des RPi pour de l’embarqué.
Le mieux pour la RPi est d’installer Raspberry Pi OS.
Tu télécharges la dernière image (pour 64 bits) :
$ wget https://downloads.raspberrypi.com/raspios_arm64/images/raspios_arm64-2024-11-19/2024-11-19-raspios-bookworm-arm64.img.xz
$ xz --decompress raspios_arm64-2024-11-19/2024-11-19-raspios-bookworm-arm64.img.xz
Tu branches sur ton PC sous Linux ta carte SD avec son lecteur et tu regardes quel est le point d’entrée utilisé :
$ sudo fdisk -l
Par exemple, la carte SD est reconnue comme /dev/sdc. Alors tu recopies l’image avec la commande Linux dd :
$ sudo dd if=arm64-2024-11-19/2024-11-19-raspios-bookworm-arm64.img of=/dev/sdc bs=2M
Après copie, tu installes ta carte SD sur ta RPi et ça marche…
++