RAID logiciel: ajouter copie partition EFI

HowtoRAIDLogiciel.md

@@ -380,3 +380,36 @@ Pour l'effacer définitivement, on peut utiliser `wipefs` :
 ~~~
 # wipefs -a /dev/sdz
 ~~~
+
+### Partition EFI
+
+Dans le cas d'un serveur qui démarre en EFI, il peut être utile d'avoir au moins deux entrées entrées pour pouvoir démarrer même lorsque le disque qui héberge la partition EFI est hors service. Il n'est pas possible de mettre la partition EFI dans du RAID logiciel, donc il faut dupliquer la partition à la main.
+
+Supposons qu'on ait deux disques avec du RAID logiciel.
+
+```
+NAME           TYPE  MOUNTPOINT
+sda            disk
+├─sda1         part  /boot/efi
+├─sda2         part
+│ └─md2        raid1 /boot
+├─sda3         part  [SWAP]
+└─sda4         part
+  └─md4        raid1 /
+sdb            disk
+├─sdb1         part
+├─sdb2         part
+│ └─md2        raid1 /boot
+├─sdb3         part  [SWAP]
+└─sdb4         part
+  └─md4        raid1 /
+```
+
+On veut que le serveur puisse démarrer sur `/dev/sdb1` si jamais `/dev/sda` est hors service. Pour copier `/dev/sda1` dans `/dev/sdb1` et ajouter une nouvelle entrée de démarrage :
+
+```
+# dd if=/dev/sda1 of=/dev/sdb1
+# efibootmgr -c -g -d /dev/sdb -p 1 -L debian -l '\EFI\debian\grubx64.efi'
+```
+
+Attention : les données dans `/dev/sdb1` ne seront pas mises à jour en même temps que celles dans `/dev/sda1`. Il faudra rejouer la commande `dd` pour mettre à jour la partition. Pour savoir quelle partition est actuellement montée sur `/boot/efi` : `# findmnt /boot/efi`.