e dans le MBR simplifié l'adresse de la partition EFI. Puis il va chercher dans cette partition le fichier « .efi » correspondant au gestionnaire de démarrage. Debian range un grub.efi et un grub.cfg dans « efi/debian/ » (à vérifier via ls /boot/efi/efi)
==== Lancement du noyau ====
L
nstallation =====
le choix entre grub-pc et grub-efi est déterminé par la façon d'amorcer l'installateur, en mode EFI ou BIOS/legacy. Exception : quand l'installateur est amorcé en mode EFI mais détecte un système déjà installé en mode BIO... tition indique que Windows a été installé en mode EFI. Il faut donc installer un chargeur GRUB EFI pour