Qu'est-ce que le shell EFI?
Mon BIOS m'offre la possibilité de lancer un shell EFI, mais je n'ai aucune idée de ce que c'est. Est-ce que cela me permet d'activer les drapeaux du processeur comme VT-x ou quelque chose de similaire? Pourquoi voudrais-je l'utiliser?
Le shell EFI est un "shell" (pensez à une invite de commande ou à un terminal) qu'un "BIOS" (U) EFI EFI peut démarrer directement (à la place de votre système d'exploitation), permettant ainsi le contrôle et la création de scripts pour de nombreux éléments, notamment
L'installation d'un shell EFI dans une partition "Système EFI" (type EF00) formatée avec un système de fichiers vfat et nommée correctement - "shellx64.efi" pour un système 64 bits - vous permettra de démarrer directement à partir de votre "BIOS".
Voir: EFI Shells and Scripting