Debian
Debian-France
Debian-Facile
Debian-fr.org
Forum-Debian.fr
Debian ?
Communautés
Vous n'êtes pas identifié(e).
L'icône rouge permet de télécharger chaque page du wiki visitée au format
PDF et la grise au format ODT →
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
|
doc:install:refind-boot-uefi [11/08/2013 04:58] martinux_qc [EFI & UEFI] |
doc:install:refind-boot-uefi [14/08/2013 11:58] mytux [UEFI Shell :] |
||
|---|---|---|---|
| Ligne 19: | Ligne 19: | ||
| ===== EFI & UEFI ===== | ===== EFI & UEFI ===== | ||
| - | Unified Extensible Firmware Interface (UEFI, interface micrologiciel extensible unifiée) définit un logiciel intermédiaire entre le logiciel micrologiciel (firmware) et le système d'exploitation d'un ordinateur.// | ||
| - | Il fait suite à EFI (Extensible Firmware Interface), conçue par Intel.// | + | A l'aube de l'ère du PC en 1981, IBM a livré son Personal Computer 5150 avec firmware connu sous le nom du système d'entrée / sortie de base (BIOS).Le BIOS était destiné à être une interface entre plusieurs périphériques et le système d'exploitation de disque (DOS). |
| - | Il est écrit en C, contrairement au Bios qui lui est écrit en assembleur. // | + | Au fil des ans, le BIOS a été de moins en moins utilisé, car il a été écrit en utilisant un code sur 16 bits et les systèmes d'exploitation ont évolué sur 32 bits et, maintenant, 64-bit. |
| - | il existe un Shell EFI proche du MSDOS, qui permet d’exécuter des commandes, des scripts et des applications écrites en C/C++.// | + | Aujourd'hui, donc, le rôle principal du BIOS est de commencer le processus de démarrage. Une fois que le système est démarré, le BIOS n’a plus d’intérêt. Pourtant, le démarrage de l'ordinateur est une tâche importante, et la vieille conception du BIOS créé est limitée. |
| - | L'UEFI permet aussi la construction d'applications de configuration plus élaborées, avec un affichage graphique, prise en charge de la souris et plus d'options d'amorçage qu'avec le BIOS. | + | =====EFI et UEFI===== |
| - | ===== Secure Boot===== | + | J'utilise le terme EFI pour se référer soit EFI 1. X ou l'UEFI plus récent. |
| - | Depuis la version 2.3.1, l'UEFI intègre une fonctionnalité n'autorisant le démarrage qu'aux systèmes d'exploitation reconnus.// | + | L'Extensible Firmware Interface (EFI) et sa variante plus récente, l'EFI UEFI (Unified), sont des conceptions de firmware qui sont destinés à remplacer les BIOS.Les implémentations EFI sont plus grandes que les implémentations du BIOS, un EFI peut lire les tables de partitions et systèmes de fichiers, ce qu’ un BIOS ne pourra pas faire. |
| - | En mode secure boot, l'UEFI utilise un mécanisme de vérification par signature numérique. Le micrologiciel interdit tout chargement de driver ou de noyau dont la signature ne correspondrait pas à celle gravée en ROM.// | + | Cela permet à plusieurs chargeurs de démarrage de coexister sur le disque dur, et d'être accessible tout en utilisant des mécanismes d'accès aux fichiers normaux.Une autre caractéristique de l'EFI est le Secure Boot. Cette fonctionnalité est destinée à améliorer la sécurité, en veillant à ce que seuls les chargeurs de démarrage signés avec une clé de chiffrement pourront fonctionner. Si vous ou une personne de confiance détient la clé, il sera peu probable qu’un logiciels malveillant puissent s’éxécuter, ce qui peut théoriquement bloquer une avenue d'attaques de malwares. |
| - | Ainsi, si l'utilisateur ne désactive pas le secure boot dans l'UEFI , celui-ci peut empêcher l'utilisation de certains systèmes d'exploitation libre ou alternatifs. | ||
| - | ===== Spécifications : ===== | ||
| - | *Les spécifications de l'UEFI définissent un boot manager dont le rôle est de charger l'OS loader et les drivers nécessaires au démarrage. | + | =====Structures de disques EFI===== |
| - | + | ||
| - | *Les systèmes de fichiers pris en charge incluent FAT32, FAT16 et FAT12. Les tables de partition prises en charges comprennent les formats MBR et GPT. | + | |
| - | *Outre le partitionnement classique par MBR (limité à 2,2 To), UEFI gère pour les disques, un nouveau système de partitionnement nommé GPT (globally unique identifier partition table). | + | Lorsque vous configurez un ordinateur pour démarrer en mode UEFI, il est généralement préférable de créer un disque GPT. |
| - | *Le GPT permet 128 partitions principales sur un support de capacité allant jusqu'à 9,4 Zo (milliard de téraoctets). UEFI permet ainsi le démarrage sur des disques de 2,2 To et plus. | + | EFI repose sur une partition spéciale, connue sous le nom de la partition système EFI (ESP), pour stocker des données EFI spécifiques. |
| - | *Pour tout périphérique amovible partitionné détecté (clé USB, disque dur externe, etc.), l'UEFI recherche un répertoire EFI sur toutes les partitions et liste un point d'amorçage UEFI pour chaque fichier dont le nom ressemble à bootx64.efi dans le répertoire EFI. | + | L'ESP devrait officiellement utiliser un système de fichiers FAT32, bien que de nombreuses distributions Linux utilise un système de fichiers FAT16. |
| - | *Deux formats de tables des partitions sont pris en charge: l'ancien MBR et le nouveau GPT. | + | Certains utilisateurs ont constaté que certains EFI ont des bugs qui causent des problèmes avec les ESP infèrieure à 512MiB (537MB). Un problème très commun est que certain fichiers ne peuvent être lus par l'EFI, donc je vous recommande la création d’ une ESP d’ au moins 550MiB. |
| - | + | ||
| - | *Par contre, il y a de bonnes chances pour que les interfaces de l'UEFI permettent d'amorcer tout ça si bien qu'un gestionnaire d'amorçage indépendant comme rEFInd pourrait outrepasser les limitations imposées par la carte mère, quitte à charger des modules UEFI additionnels. | + | |
| - | *Pour qu'un amorçage UEFI ait lieu depuis un disque fixe, ce dernier doit comporter une partition spéciale appelée EFI System Partition (ESP) avec un identifiant spécial. | + | Chaque chargeur de démarrage EFI est stocké dans un sous-répertoire du répertoire EFI sur l'ESP. |
| - | *Cette dernière, habituellement en FAT32, des fois en FAT16, contient un répertoire EFI dans lequel on trouve un sous-répertoire pour chaque système installé. Habituellement, la combinaison GPT et FAT32 a de bonnes chances de fonctionner. | + | Ces répertoires sont généralement nommés d'après le système d'exploitation qui les a créés. Par exemple, Ubuntu met ses fichiers EFI dans EFI / ubuntu, et Red Hat met ses dans EFI / redhat. |
| + | Une fois Linux installé, l'ESP est monté dans / boot / efi, de sorte que l’arborescence soit : / boot / efi / EFI / ubuntu, et: / boot / efi / EFI / redhat. | ||
| + | Si vous avez besoin d'installer un chargeur de démarrage indépendamment de de votre système d'exploitation, vous pouvez créer votre propre répertoire. Exemple : EFI / refind pour Refind. | ||
| - | =====UEFI Shell :===== | ||
| - | Preparons une clef USB, pour accueillir le shell UEFI. | ||
| - | Comme expliqué précédemment nous aurons besoin d'une table de partition GPT ainsi qu'une partition de type FAT32 ou FAT16. | ||
| - | Gdisk, parted ou gparted seront vos amis pour cela. | ||
| - | Une taille de 100 Mo suffira largement, ce sera même un peu grand, mais mieux vos voir large au cas ou par la suite vous voudriez installer des tools kits, UEFI. | ||
| - | |||
| - | <code> | ||
| - | $ gdisk /dev/sdx (sdx étant votre clé usb ) | ||
| - | $ h (Affiche l'aide ) | ||
| - | $ o (Créer une nouvelle table de partition GPT ) | ||
| - | $ n ( Créer une nouvelle partition ) | ||
| - | $ 1 ( Numero de la partition par défault ) | ||
| - | $ 2048 ( Premier secteur par défaut ) | ||
| - | $ +100M ( Dernier secteur 100Mo ) | ||
| - | $ 8300 ( 8300 LFS par défaut ) | ||
| - | $ w ( Sauvegarde des modifications) | ||
| - | </code> | ||
| - | |||
| - | |||
| - | Créons maintenant un système de fichier FAT32 sur notre partition. | ||
| - | |||
| - | <code> | ||
| - | $ mkfs.vfat -F32 /dev/sdx1 | ||
| - | </code> | ||
| - | |||
| - | Il nous faut la monter pour pouvoir y déposer notre Shell. | ||
| - | |||
| - | <code> | ||
| - | $mkdir -p /media/EFI/ | ||
| - | $ mount /dev/sdx1 /media/EFI | ||
| - | </code> | ||
| - | |||
| - | Reste plus qu' à télécharger ce fameux Shell précompilé sur [[https://wiki.archlinux.org/index.php/Unified_Extensible_Firmware_Interface#UEFI_Shell|Archlinux]]. | ||
| - | |||
| - | Télécharger, le version correspondante à votre architecture et enregistrer là dans le dossier **/media/EFI/boot/** | ||
| - | |||
| - | Rennomer le en **bootx64.efi** | ||
| - | |||
| - | Pour les commandes, et la DOC allez sur [[http://sourceforge.net/projects/efi-shell/files/|Sourceforge]] | ||
| - | |||
| - | Il y-a les sources et deux ou trois en PDF si l' envie vous viens de compiler votre Shell ou un Tool Kit. | ||
| - | |||
| - | Ces commandes sont proches du batch Windows : | ||
| - | |||
| - | **Table 1 Commands from Default Build Shell** | ||
| - | |||
| - | ^ Commandes ^ Description | ||
| - | | alias | Displays, creates, or deletes aliases in the EFI Shell. | | ||
| - | | attrib | Displays or changes the attributes of files or directories | | ||
| - | | cd | Displays or changes the current directory | | ||
| - | | cls | Clears the standard output and optionally changes the background color | | ||
| - | | connect | Binds a driver to a specific device and starts the driver | | ||
| - | | cp | Copies one or more source files or directories to a destination | | ||
| - | | date | Displays and sets the current date for the system | | ||
| - | | del | Deletes one or more files or directories | | ||
| - | | dh | Displays the device handles in the EFI environment | | ||
| - | | dir | Lists directory contents or file information | | ||
| - | | disconnect | Disconnects one or more drivers from the specified devices | | ||
| - | | drivers | Displays a list of information for drivers | | ||
| - | | drvcfg | Invokes the Driver Configuration Protocol | | ||
| - | | drvdiag | Invokes the Driver Diagnostics Protocol | | ||
| - | | echo | Displays messages or turns command echoing on or off | | ||
| - | | exit | Exits the EFI Shell environment | | ||
| - | | help | Displays the list of commands that are built into the EFI Shell | | ||
| - | | load | Loads an EFI driver into memory | | ||
| - | | ls | Lists a directory's contents or file information | | ||
| - | | map | Defines a mapping between a user-defined name and a device handle | | ||
| - | | mkdir | Creates one or more new directories | | ||
| - | | mv | Moves one or more files to a destination within a file system | | ||
| - | | reconnect | Reconnects drivers to the specific device | | ||
| - | | reset | Resets the system | | ||
| - | | rm | Deletes one or more files or directories | | ||
| - | | set | Used to maintain the environment variables | | ||
| - | | time | Displays or sets the current time for the system | | ||
| - | | touch | Updates the time and date on a file to the current time and date | | ||
| - | | type | Sends the contents of a file to the standard output device | | ||
| - | | unload | Unloads a driver image that was already loaded | | ||
| - | | ver | Displays the version information for this EFI firmware | | ||
| - | | vol | Displays the volume information for the file system | | ||
| - | | ||
| ===== rEFIND ===== | ===== rEFIND ===== | ||
| + | Refind est un un fork REFIT, c'est un boot manager pour les ordinateurs implémanté par l'Extensible Firmware Interface (EFI) et Unified EFI (UEFI). | ||
| - | Page officiel de Refind: http://www.rodsbooks.com/refind/ | + | Il faut faire la distinction entre un boot loader tel que GRUB et un boot mangager, comme rEFIND, tous les ordinnateurs basé sur EFI incluent boot manager. |
| - | =====Installation===== | + | http://www.rodsbooks.com/refind/ |
| + | ===== Installation ===== | ||
| - | Si vous prenez ce Tuto, en cours de route, remontez un peu [[manuel:refind_boot_uefi#uefi_shell]] il faut que notre clef USB est un système de fichier GPT ainsi qu'une partition FAT32. | + | Si vous prenez ce tuto, en cours de route, remontez un peu [[manuel:refind_boot_uefi#uefi_shell]] il faut que notre clef USB est un système de fichier GPT ainsi qu'une partition FAT32. |
| On peut maintenant télécharger ce fameux bootmanager, rendez-vous sur [[http://sourceforge.net/projects/refind/|Sourceforge.net]] et télécharger la dernières version des binaires au formats zip. | On peut maintenant télécharger ce fameux bootmanager, rendez-vous sur [[http://sourceforge.net/projects/refind/|Sourceforge.net]] et télécharger la dernières version des binaires au formats zip. | ||
| Ligne 179: | Ligne 96: | ||
| Voila c'est presque près courage, nous enfin installer un boot manager digne de ce nom. | Voila c'est presque près courage, nous enfin installer un boot manager digne de ce nom. | ||
| - | Vous avez surement une image iso sous la main, | + | Vous avez sûrement une image iso sous la main, |
