## Installation ArchLinux sur Raspberry Pi 4

<WRAP important>Le Raspberry Pi 4 a des exigences d'alimentation plus élevées que le Raspberry Pi 3. Une alimentation nominale de 3 A est la recommandation officielle. L'utilisation d'une alimentation électrique insuffisante entraînera des erreurs aléatoires inexplicables et une corruption du système de fichiers.\\ \\ Le port d'alimentation USB Type-C du Raspberry Pi 4 n'est pas conforme à la spécification USB Type-C et il ne pourra pas être alimenté par des alimentations conformes.</WRAP>

Utiliser l'installation d'ARMv7 lorsqu'on a besoin de l'un des hacks de noyau, des superpositions ou des blobs et utilitaires GPU à source fermée du fournisseur.

Remplacer sdX dans les instructions suivantes par le nom de périphérique de la carte SD tel qu'il apparaît sur l'ordinateur.

Lancer fdisk pour partitionner la carte SD :

```
fdisk /dev/sdX
```

À l'invite fdisk, supprimer les anciennes partitions et créer-en une nouvelle :
  * Taper o. Cela effacera toutes les partitions sur le lecteur.
  * Taper p pour lister les partitions. Il ne devrait plus rester de partitions.
  * Taper n, puis p pour primary, 1 pour la première partition du disque, appuyer sur ENTER pour accepter le premier secteur par défaut, puis taper +200M pour le dernier secteur.
  * Taper t, puis c pour définir la première partition sur le type W95 FAT32 (LBA).
  * Taper n, puis p pour principal, 2 pour la deuxième partition sur le lecteur, puis appuyer deux fois sur ENTRÉE pour accepter le premier et le dernier secteur par défaut.
  * Écriver la table de partition et quitter en tapant w.

Créer et monter le système de fichiers FAT :

```
mkfs.vfat /dev/sdX1
mkdir boot
mount /dev/sdX1 boot
```

Créer et monter le système de fichiers ext4 :

```
mkfs.ext4 /dev/sdX2
mkdir root
mount /dev/sdX2 root
```

Télécharger et extraire le système de fichiers racine (en tant que root, pas via sudo) :

```
wget http://os.archlinuxarm.org/os/ArchLinuxARM-rpi-4-latest.tar.gz
bsdtar -xpf ArchLinuxARM-rpi-4-latest.tar.gz -C root
sync
```

Déplacer les fichiers de démarrage vers la première partition :

```
mv root/boot/* boot
```

Démonter les deux partitions :

démonter la racine de démarrage

Insérer la carte SD dans le Raspberry Pi, connecter Ethernet et appliquer une alimentation 5V.
Utiliser la console série ou SSH à l'adresse IP donnée à la carte par votre routeur.
  * Connecter-vous en tant qu'alarme utilisateur par défaut avec l'alarme de mot de passe.
  * Le mot de passe root par défaut est root.
Initialiser le trousseau de clés pacman et remplisser les clés de signature du package Arch Linux ARM :

```
pacman-key --init
pacman-key --populate archlinuxarm
```

<WRAP tip>**Installation d'Aarch64**\\ \\ Cela fournit une installation utilisant le noyau principal et U-Boot. N'utiliser cette installation que si on n'a aucune dépendance vis-à-vis des bibliothèques de fournisseurs fermées fournies dans la version ARMv7. Cette installation prend presque entièrement en charge le périphérique, y compris les graphiques VC4.\\ \\ Suivre les instructions ci-dessus, en remplaçant par l'archive tar suivante :\\ \\ `http://os.archlinuxarm.org/os/ArchLinuxARM-rpi-aarch64-latest.tar.gz`\\ \\ Avant de démonter les partitions, mettre à jour /etc/fstab pour le périphérique de bloc SD différent par rapport au Raspberry Pi 3 :\\ \\ `sed -i 's/mmcblk0/mmcblk1/g' racine/etc/fstab`</WRAP>