L'icône rouge permet de télécharger chaque page du wiki visitée au format PDF et la grise au format ODT →

Différences

Ci-dessous, les différences entre deux révisions de la page.

--- doc:install:refind-boot-uefi [10/08/2013 19:59]
mytux [Installation]
+++ doc:install:refind-boot-uefi [18/08/2013 14:40]
mytux [EFI et UEFI]
@@ Ligne 7: / Ligne 7: @@
-====== UEFI & EFI ======
+====== UEFI & EFI======
 Toutes les versions 64bits des PC qui exécutent Windows certifié par le programme de certification Windows utilisent l’UEFI à la place du BIOS.
@@ Ligne 17: / Ligne 17: @@
   * Suivi : {{tag>en-chantier à-tester à-placer}}
-===== EFI & UEFI =====
+=====Le BIOS=====
-Unified Extensible Firmware Interface  (UEFI, interface micrologiciel extensible unifiée) définit un logicielle intermédiaire entre le logicielle micrologiciel (firmware) et le système d'exploitation d'un ordinateur.//
+A l'aube de l'ère du premier PC en 1981, IBM livrait son Personal Computer 5150, avec un firmware connu sous le nom de  Basic Input/Output System (BIOS). Le BIOS était destiné à être une interface entre le matériel  et le système d'exploitation DOS (Disk Operating System) à l'époque.
-Il fait suite à EFI (Extensible Firmware Interface), conçue par Intel.//
+Le rôle du BIOS étatit d'éffectuer des tests de base t d'appliquer une séquence linéaire de recherche afin de trouver un périphérique amorçable sur lque un secteur de 512 octetspouvaient être lus et éxécuté.Ce premier secteur qu'on appella MBR devait ensuite pouvaoir passer la main à un autre périphériue ou au système d'exploitation.
-Il est écrit en C, contrairement au Bios qui lui est écrit en assembleur. //
+Le bios est généralement écrit en assembleur et est seulement capable d'éxécuté des instructions sur 16bits aloars que les OS modernes eux, éxécutent des instructions sur 32 et 64bits. Les OS avancés n'ont puent continuer à utiliser le Bios sans pertes de performance.
+=====EFI et UEFI=====
-il existe un Shell EFI proche du MSDOS, qui permet d’exécuter des commandes, des scripts et des applications écrites en C/C++.//
+J'utilise le terme EFI pour se référer soit à EFI 1.X ou plus l'UEFI.
-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.
+L'Extensible Firmware Interface (EFI) et sa variante plus récente,UEFI (Unified EXtensible Firmware Interface), sont des conceptions de firmware qui sont destinés à remplacer le BIOS.
-===== Secure Boot=====
+Les capcités de l' EFI sont plus grandes celles du BIOS, EN effet un EFI peut lire une tables de partitions et un système de fichiers, ce qu’ un BIOS ne sait pas faire.
-Depuis la version 2.3.1, l'UEFI intègre une fonctionnalité n'autorisant le démarrage qu'aux systèmes d'exploitation reconnus.//
+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.
-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.//
+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 s'éxécuter.
-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.
+<note> Ubuntu et Fedora, ont achetés cette clé à Microsoft  </note>
+=====Structures de disques EFI=====
-===== Spécifications : =====
+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.
+GPT offre deux avantages :
-   *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.
+  *Il supporte les disques de Plus de 2.2 to.
+  *Il a une limite de 128 partitions primaires.
-  *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).
+ 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. L'ESP devrait officiellement utiliser un système de fichiers FAT32, bien que de nombreuses distributions Linux utilise un système de fichiers FAT16. Certains utilisateurs ont constaté que certains EFI ont des bugs qui causent des problèmes avec les ESP  infèrieure à 512MiB (537MB), certain fichiers ne peuvent  être lus par l'EFI, donc je vous recommande la création d’ une  ESP d’ au moins 550MiB.
-  *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.
-  *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.
-  *Deux formats de tables des partitions sont pris en charge: l'ancien MBR et le nouveau GPT.
+Chaque chargeur de démarrage EFI est stocké dans un sous-répertoire du répertoire EFI sur l'ESP. 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**.
-  *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.
+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**.
-  *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.
+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.
+===== rEFIND =====
-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>
+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). Il faut faire la distinction entre un boot loader tel que GRUB et un boot mangager, comme rEFIND, rEFIND est indépendant du systèmes d'exploitation, il va chercher ses fichiers de configuration et drivers dant le répertoire **EFI/refind** de l' ESP, contrairement à GRUB qui lui va chercher ses fichiers de configuration dans **/boot/grub** monté sur la partition racine de Linux.
-$ 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>
+Vous pouvez l'installer, une clé USB, un disque dur, un cdrom, ce qui le rend très polyvalent, et pratique.
-Créons maintenant un système de fichier FAT32 sur notre partition.
+<note>Il peut être utile d'avoir une clé USB de secours avec une partition réservé juste pour rEFIND en cas de soucis au boot, vous pourrez alors démarrer votre OS indépendemment et ainsi débuguer votre EFI.</note>
-<code>
-$ mkfs.vfat -F32 /dev/sdx1
-</code>
-Il nous faut la monter pour pouvoir y déposer notre Shell.
-<code>
+http://www.rodsbooks.com/refind/
-$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]].
+=====Obtenir rEFIND=====
-Télécharger, le version correspondante à votre architecture et enregistrer là dans le dossier **/media/EFI/boot/**
+Aller à la page de téléchargement de [[http://www.rodsbooks.com/refind/getting.html|rEFIND]].
-Rennomer le en **bootx64.efi**
+Télécharger les fichiers correspondant à votre périphériques.
-Pour les commandes, et la DOC allez sur [[http://sourceforge.net/projects/efi-shell/files/|Sourceforge]]
+Dans cet exemple je vais utiliser une image disque USB.
-Il y-a les sources et deux ou trois  en PDF si l' envie  vous viens de compiler votre Shell ou un Tool Kit.
+Après décompression je copie l' image disque à l'aide de <dd>, afin de récupérer les fichiers de l'image.
-Ces commandes sont proches du batch Windows :
+<code>
+$ dd if=refind-flashdrive-0.7.3.img of=/dev/sdx bs=1M   # Copie sur la clef USB
+$ mount /dev/sdb1 /media/usb0
+$ cd /media/usb0
+$ls
+EFI  shellia32.efi  shellx64.efi                        # On récupère les fichiers.
+$ cp -r * ~/
+$ umount /media/usb0                                    # Et on démonte, pour préparer le système de fichier.
+</code>
-**Table 1 Commands from Default Build Shell**
+=====Système de fichiers EFI=====
-^ Commandes  ^ Description
+Une fois les fichiers récupérer nous devons créer une table de partition GPT, un ESP et une partition FAT32 sur notre clé USB, pour acceuillir notre bootmanager, et notre image iso.
-| 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                    |
+On va utiliser <gdisk>, ce soft est similaire à fdisk, mais a nous permettre de manipuler des tables de partition GPT.
+Sur la plupart des distributions il n'est pas installer par défault.
+<code>
-=====rEFIND=====
+$ sudo apt-get install gdisk
+$ sudo gdisk /dev/sdb
+$ o                           # Créer une nouvelle table de partion GPT
+$ n                           # Créer une nouvelle partition
+$ 1                           # Par défault partition numéro 1
+$ 2048                        # Premier secteur par défault
+$ +100M                       # 100 MB je pense que cela suffira, si vous rencontrez des problèmes, augmenter sa taille.
+$ ef00                        # ef00 (EFI File System)
+</code>
+Création d'une seconde partion pour notre image iso.
-Page officiel de Refind: http://www.rodsbooks.com/refind/
+<code>
+$ n
+$ 206848                     # 206848 par défault à la suite de l'ESP
+$ +1000M                     # 1 GB, à adapter selon la taille de votre iso.
+$ 8300                       # 8300 (Linux File System)
+$ w                          # On sauvegarde
+</code>
-====== Installation ======
+Ensuite, il faut redémarer pour que le Kernel relise la table de partitions.
+<code>
+$ sudo shutdown -r now
+</code>
+Création d' un système de fichiers FAT32 sur les deux partions :
-Commençons tout d'abord par télécharger ce fameux bootmanager, rendez vous à :http://sourceforge.net/projects/refind/ et télécharger le la dernière version en paquet debian enregistrer le par exemple dans **~/refind**
+<code>
+$ mkfs.vfat -F32 /dev/sdb1
+$ mkfs.vfat -F32 /dev/sdb2
+</code>
+===== Installation =====
+Pour l'installation on aura juste à copier les fichiers que étaient dans l'image flashdrive de rEFIND dans notre ESP; et utiliser Unetbootin pour copier notre iso sur notre seconde partition.
-En ligne de commande on extrait cet archive à l'aide de dpkg.
+Montage des périphériques :
-   $ cd ~/refind
+<code>
-   $ dpkg -x refind_0.7.3-1_amd64.deb ./
+$ sudo mount /dev/sdx1 /media/usb0
-   $ ls
+$ sudo mount /dev/sdx2 /media/usb1
-   etc/ usr/
+</code>
-Les fichiers qui nous intéresses sont situés dans **usr/share/refind-0.7.3/refind/**
+Copie de rEFIND sur la premiere partition :
-   $ cd  usr/share/refind-0.7.3/refind/
+<code>
-   $ls
+$ sudo cp -r EFI shellx64.efi  /media/usb0                                                  # x64 ou ia32 selon votre  architecture (ia32 sur MAC)
-   drivers_x64  icons  tools_x64  refind_x64.efi  refind.conf-sample
+$ cd /media/usb0
+$ ls
-On renomme **refind_x64.efi**
+bootia32.efi  bootx64.efi  drivers_ia32  drivers_x64  icons  refind.conf
+$ rm -r bootia32.efi drivers_ia32                                                           #Supression des fichiers inutiles
-   $ mv refind_x64.efi bootx64.efi
+$ mv refind.conf exemple.conf                                                               #Jeter un oeil à ce fichier, il y-a plein de commentaire.
+</code>
-Pour la seconde partitions nous allons utiliser Unetbootin.
-Télécharger une image iso, par exemple Crunbang ou LMDE, 64bit.
-Installer votre iso sur /dev/sdb2, avec Unetbootin.
-Une fois terminer éxécuter mount.
+Ensuite installons notre iso avec Unetbootin :
-Vous devriez avoir quelque chose comme ça en sortie.
 <code>
-$ mount
+$ sudo apt-get install unetbootin
-/dev/sdb1 on /media/refind type vfat (rw)
+$ sudo unetbootin &
-/dev/sdb2 on /media/Debian-Live type vfat (rw,nosuid,nodev,uid=1000,gid=1000,shortname=mixed,dmask=0077,utf8=1,showexec,flush,uhelper=udisks2)
 </code>
+Bon là pas besoin de moi, vous installez une iso qui vous fais des misères (Crunchbang, LMDE) sur /dev/sdx2.
+Dans cet exemple j'utilise Crunchbang.
 =====Configuration=====
+On approche de la fin, et on entame la partir la plus marrante.
-Pour cette seconde troisième partie nous allons nous attaquer le fichier de configuration **refind.conf** qui ce trouve sur notre clé usb.
+Toutes la configuration ce fait dans le fichier refind.conf.
-$ cd /media/refind/EFI/boot
+Jeter un oeil sur la page de Roderick W. Smith, [[http://www.rodsbooks.com/refind/configfile.html|Configuring the Boot manager]].
-Là vous devriez avoir un fichier refind.conf-sample, vous pouvez l' éxaminer, il est assez long mais il y a plein de commentaires et quelques modèles.
+Et aussi, le fichier example.conf qu'on a rennomer tout à l'heure.
-Nous nous allons en créer un beaucoup plus cours.//(j'ai récupere ce fichier, dans l'iso de manjaro, cette iso ma beaucoup aidé pour le fonctionnement de refind))//
+<code>
+$ nano refind.conf
+</code>
+Mon fichier refind.conf:
-<file>
+<code>
-timeout 5
+timeout 10
-hideui singleuser
+icons_dir EFI/boot/icons
 textonly
-#resolution 1024 768
-use_graphics_for osx
+use_graphics_for linux
-showtools about,reboot,shutdown,exit
+showtools shell, about, reboot, exit
 scan_driver_dirs EFI/boot/drivers_x64
-scanfor manual,internal,external,optical
+scanfor internal,external,optical,manual
 scan_delay 1
-#also_scan_dirs boot
+scan_all_linux_kernels
-dont_scan_dirs EFI/boot
+dont_scan_dirs EFI/linuxmint,boot
-#scan_all_linux_kernels
+default_selection Crunch_Live
-max_tags 0
+menuentry Crunch_Live {
+  icon /EFI/boot/icons/os_debian.icns
-default_selection "Debian Live"
+  volume 1:
+  loader /live/vmlinuz
-menuentry "Debian Live" {
+  initrd /live/initrd.img
-        icon /EFI/boot/icons/os_linux.icns
+  options "ro root=UUID=C847-7244 add_efi_memmap config boot=live"
-        volume 1:
+  osype Linux
-        loader /live/vmlinuz
+  graphics off
-        initrd /live/initrd.img
-        ostype Linux
-	graphics off
-	options "ro root=UUID=3568-43B4 add_efi_memmap config boot=live"
 }
-menuentry "UEFI x64 Shell v2" {
+menuentry Crunch_Install {
-	icon /EFI/boot/icons/tool_shell.icns
+  icon /EFI/boot/icons/os_debian.icns
-	loader /EFI/tools/shellx64_v2.efi
+  volume 1:
-	graphics off
+  loader /install/vmlinuz
+  initrd /install/initrd.gz
+  options "ro root=UUID=C847-7244 add_efi_memmap file=/cdrom/install/crunchbang.cfg"
+  osype Linux
+  graphics off
 }
+</code>
-menuentry "UEFI x64 Shell v1" {
+<note important>
-	icon /EFI/boot/icons/tool_shell.icns
+rEfind est assez capricieux, votre fichier refind.conf ne doit pas avoir un pet de travers, aussi quelquefois un simple reboot permet de lancer votre kernel tranquillement. oO
-	loader /EFI/tools/shellx64_v1.efi
+C'est pour cela qu'il n' ya pas de commentaires dans le fichier, ci-dessus.
-	graphics off
+</note>
-}
-</file>
-Bien sûr ceci n'est qu'un exemple il faut que vous éditiez refind.conf en prenant exemple sur les fichiers qui sont sur votre iso.
+Pour vous aider vous aurez besoin du fichier syslinux.cfg générer par Unetbootin :
-== 1 : Quelques poins important :==
+<code>
+$ cd /media/usb1
+$ cat syslinux.cfg
+default menu.c32
+prompt 0
+menu title UNetbootin
+timeout 100
+label unetbootindefault
+menu label Default
+kernel /ubnkern
+append initrd=/ubninit boot=live config quiet
-**scan_driver_dir** : Faites attention que le chemin corresponde bien.
+label ubnentry0
+menu label Live Session
+kernel /live/vmlinuz
+append initrd=/live/initrd.img boot=live config quiet
-**volume 1:** : Correspond au deuxième périphérique de stockage donc votre clé usb <0:> étant /dev/sda.
+label ubnentry1
+menu label Install
+kernel /install/gtk/vmlinuz
+append initrd=/install/gtk/initrd.gz video=vesa:ywrap,mtrr vga=788 quiet file=/cdrom/install/crunchbang.cfg
-**loader** : Correspond au chemin de l'image du noyau.
+label ubnentry2
+menu label Memory Test
+kernel /live/memtest
+append initrd=/ubninit
-**initrd** : Correspond au chemin de l' image RAM.
+$
+</code>
-**ro root=UUID=3568-43B4** : Un simple blkid vous renseigne sur ce numéro.
+===== Utilisation =====
-Options : reporter les options qui sont dans le fichier **isolinux/live.cfg**, n'oubliez pas les guillemets et **add_efi_memmap**
+C'est le moment de vérité, on peut redémarer. Dans l'interface de votre EFI, vous choisissez votre clé USB, la première partition si vous avez le choix.
+Là normalement rEFIND se lance, il doit tout d'abord scanner vos disques. En mode texte vous devriez avoir le choix entre votre os principal et ensuite les menuentry que l'on a ajouter dans notre refind.conf.
-Pour les autres Options, regardez le fichier **refind.conf-sample**.
+Essayons Crunch_Live ...
-Vous remarquerez la présence de **menuentry "UEFI x64 Shell v2"**
+Si vous avez de la chance, il se lance, sinon comme je vous l'ai dit plus haut, il est très capricieux, il ne doit pas y avoir un pet de travers, dans votre fichier de configuration.
-Et oui, il ya un Shell UEFI vous pouvez les télécharger sur [[https://wiki.archlinux.org/index.php/Unified_Extensible_Firmware_Interface#UEFI_Shell| Archlinux]]
-Et pour la forme: [[http://software.intel.com/en-us/articles/efi-shells-and-scripting/|EFI Shells and Scripting]]
+Enfin pas de paniques, il y a le **shell UEFI** pour éditer ce fichier sans avoir besoin de redémarrer, je l'ai mis dans les tools, un peu plus haut.
+===== UEFI Shell =====
+Si vous voulez editer vos fichiers, démarrer linux en ligne de commande ou ajouter une nouvelle entrée dans votre NVRAM, c'est là que ça se passe.
-=====  Utilisation =====
+<note>
+Le Shell EFI est en Qwerty, entraîné vous un peu avant ! Il faut que vous repériez ou sont les caractères spéciaux !
+</note>
-Si les fichier de configuration sont niquels, et que vous les avez préparer au petits oignons.
+Dans le menu de rEFIND, vous choisissez Shell EFI, là du texte jaune sur un fond noir c'est le Shell EFI.
-On peut redémmarer, <échap> ou je ne sais quelle touche, pour booter UEFI USB NMAP je sais pas quoi.
-Normalement Refind se lance, il scan vos disques, et là si tous est bien configurer vous choisisssez Debian Live.
+La syntaxe ressemble beaucoup à DOS.
-Si cela ne fonctionne pas revoyez votre refind.conf, ou bien postez  un message sur le forum.
+Les systèmes de fichiers sont représentés par des fs0, fs1, fs3 etc... , fs0: étant la première partition de votre clef USB, si vous lancez ce Shell depuis celle-ci. L'antislash est de rigueur.
-J 'espère que ce tuto sera utile, j'ai moi même galéré pour démmarer certaine iso sur mon laptop acheté avec Windows 8 préinstallé.
+Exemple :
+<code>
-Refind fait des miracles ;)
+shell> cd fs0:\EFI\boot
+fs0:\EFI\boot\> edit refind.conf
+</code>
+Quelques commandes utiles :
+  *cd : ce déplacer.
+  *rm : supprimer un fichier
+  *mkdir : créer un répertoire
+  *map : pour lister vos périphériques
+  *map -t hd : pour filtrer la sortie, sur vos disques de USB et sata.
+  *edit : editeur de texte, f2 pour enregistrer et f3 pour quitter
+  *exit : quitter le shell
+  *reset : reboot

doc/install/refind-boot-uefi.txt · Dernière modification: 26/11/2015 18:38 par milou

Debian-facile

Différences

Pied de page des forums