Debian & UEFI

Cette page à pour but de vous aider à démarrer Debian sur un EFI.
Elle n'a pas pour but d'expliquer ce qu'est (U)EFI et les tables de partitions GPT.

kézako ?

UEFI est prévu pour remplacer le Bios de nos carte-mères, il inclut quand même une compatibilité avec l'ancien Bios. L'UEFI Boot Manager est capable de charger les amorceurs de démarrage depuis une partition FAT.

Nous avons donc besoin de 2 choses :

• Installer le chargeur de démarrage sur la partition FAT
• Dire à UEFI de créer une entrée pour ce chargeur

Installation neuve de Debian

Il n'y a pas encore d'image toute prête pour installer Debian avec le support UEFI et 2 choix s'offrent à vous :

• Faire votre propre image d'installation supportant un amorceur de démarrage UEFI sur une clef USB qui lancera une installation.
• Installer en utilisant l'image classique avec le Bios

Nous allons ici traiter le second point.

• Supprimer les artitions existantes et créer les partitions en utilisant le GUID Partition Table (GPT) (vous pouvez utiliser gdisk ou parted pour cela).
  • Faire une petite partition (1Mio devrait suffire)
  • Initialiser le type sur "Bios Boot Partition"
  • NE PAS la formater et ne pas la monter

• Faire une seconde partition (de même taille ou plus si vous avez plusieurs OS à lancer)
  • Initialiser le type sur "EFI system partition" et placer le drapeau de Boot sur celle-ci
  • Formater la partition en FAT
  • Monter cette partition sur /boot/efi

• Continuer l'installation normale de Debian en utilisant le Bios pour démarrer

Debian déjà installé

Il faut obligatoirement utiliser une table de partition GPT, si elle est déjà en MBR vous pouvez essayer de la convertir avec gdisk (à vos risques et périls car je n'ai pas testé cette solution)

• Utiliser une liveCD pour faire une peu de place sur le disque.
• Créer une nouvelle partition (1Mio devrait suffire mais attention en cas de multi-boot)
• Formater la partition en FAT
• Monter sur /boot/efi (/boot/efi n'existe pas, créez-le auparavant) de façon permanente via le fstab

Passer en UEFI

Installer le paquet grub-efi-amd64
Attention le paquet dans les dépots stable & testing ne semblent pas fonctionner correctement. J'ai dû, dans mon cas, utiliser le paquet dans SID.

Préparer Grub via la commande habituelle :

grub-install /dev/sda

Cette commande fait 3 choses :

• Elle génère une image Grub
• Elle installe l'image dans la partition EFI sur efi/debian/grubx64.efi (C'est-à-dire /boot/efi/efi/debian ....)
• Elle essaye de configurer le Boot Manager UEFI pour le charger au démarrage de la machine

La dernière étape doit normalement finir par une erreur car le Boot Manager UEFI n'est configurable que depuis un système déjà démarré en UEFI.
Attention arrêtez ici et votre système ne pourra plus démarrer !
Copier (pas de lien symbolique !, système FAT oblige) l'image GRUB dans le répertoire de la partition EFI :

cp /boot/efi/efi/debian/grubx64.efi /boot/efi/efi/boot/bootx64.efi

C'est dans ce répertoire que le système UEFI va regarder

Vous pouvez maintenant redémarrer votre machine pour vérifier que tout est en ordre (il faut penser à changer la méthode de démarrage dans UEFI) Si tout a fonctionné, vous devez maintenant avoir une entrée "debian" dans la liste.

Nettoyage

Un fois le système démarré via UEFI vous pouvez supprimer efi/boot/bootx64.efi qui n'est plus nécessaire.

Bugs et Informations Importantes

Ma machine (Dell Latitude E5530) ne démarre pas lorsque le PC est sur sa base (Dock Dell ...). Il bloque après la selection du noyau dans Grub.
J'ai dû installer le paquet depuis les dépots unstable. Un premier essai avec les dépots en testing n'a pas marché dans mon cas.

Ce tuto est basé sur une sujet de Tanguy Ortolo et ma propre expérience. Merci à ORNis pour sa relecture :)