Installer Fedora sur un Raspberry Pi
Table des matières
Dans cet article, on va voir comment installer Fedora Linux sur un Raspberry Pi.
Bien qu'on puisse utiliser l'outil "Raspberry Pi Imager" ou le traditionnel "dd", Fedora possède des outils dédiés et on va les utiliser ici.
Evidemment, il nous faut un Raspberry Pi et une carte microSD de 16Go au moins.
On aura aussi besoin d'une image.
Sur le site de https://fedoraproject.org/
- sélectionner Workstation ou Server suivant ce qu'on voudra installer,
- récupérer dans la section For ARM® aarch64 systems l'image au format Raw
Si on utilise déjà Fedora Linux sur son PC, on pourra utiliser l'outil arm-image-installer :
Insérer la carte SD dans notre machine et identifier son nom avec fdisk par exemple :
Chez moi il s'agit de sdf :
Si lors de l'insertion de la carte des partitions se montent automatiquement les démonter.
Les identifier avec df :
Ce qui a renvoyé :
J'ai donc démonté sdf1 :
Si on est sous Fedora on pourra utiliser l'outil arm-image-installer qui fait plein de choses pour nous.
On utilisera l'outil de cette façon :
Quelques infos sur les options utilisées :
--image : Chemin de l'image de Fedora précédemment téléchargée
--target : Type de machine cible (liste dispo dans /usr/share/doc/arm-image-installer/SUPPORTED-BOARDS
--media : Nom du périphérique identifié précédemment
--resizefs : Permet d'agrandir une fois l'installation faite le système de fichiers sur toute la carte SD
On pourra utiliser si on le souhaite cette option pour ajouter une clé publique à l'utilisateur root :
--addkey=/home/adrien/.ssh/id_rsa.pub
On doit confirmer l'écriture ensuite :
L'écriture sera plus ou moins longue suivant les performances de la carte SD.
Une fois terminé, retirer la carte SD et insérer la carte dans le Raspberry Pi
Si on n'a pas l'outil arm-image-installer on pourra installer classiquement avec dd et faire les opérations de partition manuellement.
Ecriture de l'image sur la carte SD :
L'option -T 0 permet de décompresser avec tous les cœurs du processeur pour que ça soit plus rapide.
Ensuite on agrandit la partition système avec cfdisk par exemple :
On agrandit ensuite le PV :
Et on agrandira le volume logique racine avec cette commande après le premier démarrage :
Une fois terminé, retirer la carte SD et insérer la carte dans le Raspberry Pi
Après avoir mis la carte SD dans le Raspberry Pi, le système démarre.
On va arriver sur un écran de post-installation en mode texte.
Compléter tous les éléments et le système sera opérationnel.
Si on veut utiliser le Wi-Fi, on pourra suivre mon article dédié sur le sujet : https://www.linuxtricks.fr/wiki/networkmanager-se-connecter-en-wi-fi-en-cli
Introduction
Dans cet article, on va voir comment installer Fedora Linux sur un Raspberry Pi.
Bien qu'on puisse utiliser l'outil "Raspberry Pi Imager" ou le traditionnel "dd", Fedora possède des outils dédiés et on va les utiliser ici.
Prérequis
Evidemment, il nous faut un Raspberry Pi et une carte microSD de 16Go au moins.
On aura aussi besoin d'une image.
Sur le site de https://fedoraproject.org/
- sélectionner Workstation ou Server suivant ce qu'on voudra installer,
- récupérer dans la section For ARM® aarch64 systems l'image au format Raw
Si on utilise déjà Fedora Linux sur son PC, on pourra utiliser l'outil arm-image-installer :
Code BASH :
sudo dnf install arm-image-installer
Insérer la carte SD dans notre machine et identifier son nom avec fdisk par exemple :
Code BASH :
sudo fdisk -l
Chez moi il s'agit de sdf :
Code TEXT :
Disk /dev/sdf: 58,24 GiB, 62534975488 bytes, 122138624 sectors Disk model: SD/MMC Units: sectors of 1 * 512 = 512 bytes Sector size (logical/physical): 512 bytes / 512 bytes I/O size (minimum/optimal): 512 bytes / 512 bytes Disklabel type: dos Disk identifier: 0x00000000 Device Boot Start End Sectors Size Id Type /dev/sdf1 2048 122138623 122136576 58,2G 7 HPFS/NTFS/exFAT
Si lors de l'insertion de la carte des partitions se montent automatiquement les démonter.
Les identifier avec df :
Code BASH :
df -h | grep sdf
Ce qui a renvoyé :
Code TEXT :
/dev/sdf1 59G 384K 59G 1% /run/media/adrien/4A37-755A
J'ai donc démonté sdf1 :
Code BASH :
umount /dev/sdf1
Installer Fedora sur la carte microSD
Utilisation de arm-image-installer
Si on est sous Fedora on pourra utiliser l'outil arm-image-installer qui fait plein de choses pour nous.
On utilisera l'outil de cette façon :
Code BASH :
sudo arm-image-installer --image=Fedora-Server-41-20240814.n.0.aarch64.raw.xz --target=rpi4 --media=/dev/sdf --resizefs
Quelques infos sur les options utilisées :
--image : Chemin de l'image de Fedora précédemment téléchargée
--target : Type de machine cible (liste dispo dans /usr/share/doc/arm-image-installer/SUPPORTED-BOARDS
--media : Nom du périphérique identifié précédemment
--resizefs : Permet d'agrandir une fois l'installation faite le système de fichiers sur toute la carte SD
On pourra utiliser si on le souhaite cette option pour ajouter une clé publique à l'utilisateur root :
--addkey=/home/adrien/.ssh/id_rsa.pub
On doit confirmer l'écriture ensuite :
Code TEXT :
===================================================== = Selected Image: = Fedora-Server-41-20240814.n.0.aarch64.raw.xz = Selected Media : /dev/sdf = U-Boot Target : rpi4 = Root partition will be resized = SSH Public Key /home/adrien/.ssh/id_rsa.pub will be added. = Version: 4.1 ===================================================== ***************************************************** ***************************************************** ******** WARNING! ALL DATA WILL BE DESTROYED ******** ***************************************************** ***************************************************** Type 'YES' to proceed, anything else to exit now = Proceed?
L'écriture sera plus ou moins longue suivant les performances de la carte SD.
Une fois terminé, retirer la carte SD et insérer la carte dans le Raspberry Pi
Utilisation de dd
Si on n'a pas l'outil arm-image-installer on pourra installer classiquement avec dd et faire les opérations de partition manuellement.
Ecriture de l'image sur la carte SD :
Code BASH :
xzcat -T 0 Fedora-Server-41-20240814.n.0.aarch64.raw.xz | sudo dd status=progress bs=4M of=/dev/sdf
L'option -T 0 permet de décompresser avec tous les cœurs du processeur pour que ça soit plus rapide.
Ensuite on agrandit la partition système avec cfdisk par exemple :
Code BASH :
sudo cfdisk /dev/sdf
On agrandit ensuite le PV :
Code BASH :
sudo pvresize /dev/sdf3
Et on agrandira le volume logique racine avec cette commande après le premier démarrage :
Code BASH :
sudo lvextend -l +100%FREE -r /dev/fedora_fedora/root
Une fois terminé, retirer la carte SD et insérer la carte dans le Raspberry Pi
Premier démarrage et post-install
Après avoir mis la carte SD dans le Raspberry Pi, le système démarre.
On va arriver sur un écran de post-installation en mode texte.
Compléter tous les éléments et le système sera opérationnel.
Si on veut utiliser le Wi-Fi, on pourra suivre mon article dédié sur le sujet : https://www.linuxtricks.fr/wiki/networkmanager-se-connecter-en-wi-fi-en-cli