Debian & UEFI

Page en cours de rédaction !!!!

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.

• Formater le disque 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 normal 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)
• formatez-la en FAT et montez là sur /boot/efi (/boot /efi n'existe pas, créez-le auparavant) et montez la de façon permanente via le fstab

Passer en UEFI

Installer le paquet grub-efi-amd64
Attention le paquet dans les dépots stables & testing ne semblent pas fonctionner correctement, j'ai du dans mon cas utiliser le paquet dans SID. Préparez Grub via la commande habituelle :

grub-install /dev/sda

Cette commande fait 3 choses :

• Génère une image Grub
• Installe l'image dans la partition EFI sur efi/debian/grubx64.efi (C'est à dire /boot/efi/efi/debian ....)
• 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êter ici et votre système ne pourra plus démarrer ! Copiez (Pas de lien symbolique !, système FAT oblige) l'image GRUB dans le dossier de la partition EFI :

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

C'est dans ce dossier que le système UEFI va regarder

Vous pouvez maintenant redémarrer votre machine pour vérifier que tout est en ordre (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 démarrer votre Debian via UEFI vous pouvez supprimer efi/boot/bootx64.efi qui n'est plus nécessaire

Bugs & 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 du 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