• # GNU GRUB, installation, choix de démarrage

    Posté par (site web personnel) . En réponse au journal UEFI, à la découverte du nouveau BIOS.... Évalué à 4.

    Pour le démarrage, UEFI fournit surtout un gestionnaire de démarrage, qui permet de choisir quoi démarrer : le système qui est sur la clef USB, Debian GNU/Linux sur le premier disque dur, ou Windows 7 sur ce même disque dur ?

    Contrairement au BIOS, ce gestionnaire de démarrage est configurable depuis le système d'exploitation lui-même. Il est par ailleurs capable de démarrer un fichier arbitraire sur une « partition UEFI », c'est à dire une partition portant un type spécifique et utilisant un système de fichiers qu'il sait lire, le plus souvent une FAT.

    GNU GRUB prend en charge le démarrage UEFI, et est conçu pour utiliser le schéma suivant :

    • la partition UEFI doit être montée sur /boot/efi ;
    • GNU GRUB est installé dans /boot/grub ;
    • l'image générée par GRUB, qui, comme sur BIOS, contient seulement de quoi lire /boot/grub pour y charger modules et configuration, est placée dans /boot/efi/efi/DISTRO/grubARCH.efi, ce qui donne chez moi /boot/efi/efi/debian/grubx64.efi ;
    • le gestionnaire de démarrage est configuré pour avoir une entrée DISTRO correspondant à ce fichier de GRUB.

    Tout cela est pris en charge par l'installateur Debian, par exemple, à condition de l'avoir lui-même démarré en EFI évidemment.