logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

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 → ODT PDF Export

Différences

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

Lien vers cette vue comparative

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 [10/08/2013 19:14]
mytux
doc:install:refind-boot-uefi [14/08/2013 11:13]
mytux [Structures de disques EFI]
Ligne 7: Ligne 7:
  
  
-====== UEFI & EFI ======+====== UEFI & EFI ( EN chantier )======
  
 Toutes les versions 64bits des PC qui exécutent Windows certifié par le programme de certification Windows utilisent l’UEFI à la place du BIOS. 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 19: Ligne 19:
 ===== EFI & UEFI =====    ===== EFI & UEFI =====   
  
-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.//​ 
  
-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 Ccontrairement 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 MSDOSqui permet ​d’exécuter des commandesdes 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 bootl'UEFI utilise un mécanisme ​de vérification par signature numériqueLe 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 duret 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 BootCette 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===== 
 + 
 +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.  
 + 
 +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). 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. 
 + 
 +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.  
 + 
 +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. 
 + 
 +*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.
    
- 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+  *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).  +
-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.   +
-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.  +
-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+
  
 +  *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). ​
  
 +  *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. 
 + 
 +  *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. ​
 +
 +  *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. ​
 +
 +
 +
 +
 +
 +
 +
 +   
  
 =====UEFI Shell :​===== =====UEFI Shell :​=====
  
-Preparons ​une clef USB, pour accueillir le shell UEFI.+Préparons ​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. 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.  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. 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.
  
-$ gdisk /dev/sdx (sdx étant votre clé usb )+<​code>​ 
 +$ gdisk /​dev/​sdx ​       (sdx étant votre clé usb )
 $ h  (Affiche l'aide ) $ h  (Affiche l'aide )
 $ o (Créer une nouvelle table de partition GPT ) $ o (Créer une nouvelle table de partition GPT )
 $ n ( Créer une nouvelle partition ) $ n ( Créer une nouvelle partition )
-$ 1 ( Numero de la partition par défault )+$ 1   ( Numero de la partition par défault )
 $ 2048 ( Premier secteur par défaut ) $ 2048 ( Premier secteur par défaut )
-$ +100M ( Dernier secteur 100Mo ) +$ +100M         ​( Dernier secteur 100Mo ) 
-$ 8300  ( 8300 LFS par défaut ) +$ 8300   ( 8300 LFS par défaut ) 
-$ w ( Sauvegarde des modifications ) +$ w ( Sauvegarde des modifications) 
-$+</​code>​ 
  
 Créons maintenant un système de fichier FAT32 sur notre partition. Créons maintenant un système de fichier FAT32 sur notre partition.
 +
 +<​code>​
 $ mkfs.vfat -F32 /​dev/​sdx1 ​ $ mkfs.vfat -F32 /​dev/​sdx1 ​
 +</​code>​
  
 Il nous faut la monter pour pouvoir y déposer notre Shell. Il nous faut la monter pour pouvoir y déposer notre Shell.
-$mkdir -p /media/efi 
-$ mount /dev/sdx1 /media/efi 
-Reste plus qu' à télécharger ce fameux Shell, et Arch linux proposeune version précompilé :​ 
-https://​wiki.archlinux.org/​index.php/​Unified_Extensible_Firmware_Interface#​UEFI_Shell 
-Télécharger,​ le version correspondante à votre architecture et enregistrer là dans le dossier /​media/​EFI/​boot/,​ rennomer en bootx64.efi. 
-Pour les commandes, et la DOC allez à : 
-http://​sourceforge.net/​projects/​efi-shell/​files/​ 
-Il y-a les sources deux ou trois  en PDF si l' envie  vous viens de compiler votre shell. 
-Ces commandes sont proches du batch Windows : 
  
-Table 1 Commands from Default Build Shell  :+<​code>​ 
 +$mkdir -p /​media/​EFI/​ 
 +$ mount /dev/sdx1 /​media/​EFI 
 +</​code>​
  
-alias Displays,​ creates, or deletes aliases in the EFI Shell. ​ +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]].
-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 ​+
  
-Table 2 Additional Commands from Full Build Shell  :+Télécharger,​ le version correspondante à votre architecture et enregistrer là dans le dossier **/​media/​EFI/​boot/​**
  
-comp Compares the contents of two files on a byte for byte basis  +Renommer le en **bootx64.efi**
-dblk Displays the contents of one or more blocks from a block device  +
-devices Displays the list of devices managed by EFI drivers  +
-devtree This command displays the tree of devices  +
-dmem Displays the contents of system or device memory  +
-dmpstore Manages all EFI NVRAM variables  +
-edit Full screen editor for ASCII or UNICODE files  +
-eficompress Compress a file  +
-efidecompress Decompress a file  +
-err Displays or changes the error level in the system  +
-guid Displays all registered EFI GUIDs  +
-hexedit Full screen hex editor for files, block devices, or memory  +
-ipconfig Displays or modifies the current IP configuration  +
-loadpcirom Loads a PCI Option ROM from the specified file  +
-mem Displays the contents of system or device memory  +
-memmap Displays the memory map maintained by the EFI environment  +
-mm Displays or modifies MEM/​MMIO/​IO/​PCI/​PCIE address space  +
-mode Displays or changes the console output device mode  +
-openinfo Displays the protocols and agents associated with a handle  +
-pci Displays PCI device list or PCI function configuration space  +
-sermode Sets serial port attributes  +
-smbiosview Displays SMBIOS information  +
-telnetmgmt Change terminal type  +
-timezone Displays or sets time zone information ​+
  
-Autant dire qu' il y-a de quoi s'​amuser.+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**
-===== A : Introduction =====+
  
-Depuis peucertain ordinateurs achetés dans le commerce avec windows préinstallé sont équipés de ce nouveau firmware apppelé UEFI+^ Commandes ​ ^ Description 
 +| alias      | Displayscreates, 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 ​                   |
  
-Qu'est ce que l'UEFI ? 
  
-//Citation Wipedia : 
-"La norme Unified Extensible Firmware Interface (UEFI, « interface micro-logicielle extensible unifiée ») définit un logiciel intermédiaire ​    entre le micrologiciel (firmware) et le système d'​exploitation (OS) d'un ordinateur. Cette interface succède sur certaines cartes-mères au BIOS. Elle fait suite à EFI (Extensible Firmware Interface), conçue par Intel pour les processeurs Itanium."//​ 
  
-Malheureusement toutes les distributions ne sont pas équipées d' un bootloader capable de démarrer sur ce nouveau logiciel, heureusement un certain Roderick W.Smith à développer un fork de Refit. Refind un bootmanager qui donne la main à un bootloader traditionnel. ​+===== rEFIND ===== 
  
 Page officiel de Refind: http://​www.rodsbooks.com/​refind/ ​ Page officiel de Refind: http://​www.rodsbooks.com/​refind/ ​
Ligne 167: Ligne 171:
 ===== Installation ===== ===== Installation =====
  
-==== Prérequis ​====+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.
  
-  - Un support usb (de 1 à 2 go minimumselon la taille de votre iso) +On peut maintenant télécharger ce fameux bootmanagerrendez-vous sur [[http://​sourceforge.net/​projects/​refind/​|Sourceforge.net]] et télécharger la dernières version ​des binaires ​au formats zip.
-  ​Les droits root. +
-  +
-=== Téléchargement ​des binaires ​et création de l'​arborescence du répertoire de boot===+
  
-== Téléchargement ==+<​code>​ 
 +$ unzip refind-bin-0.7.3.zip 
 +$ cd refind-bin-0.7.3/​refind/​ 
 +$ ls 
 +drivers_ia32 ​ drivers_x64 ​ icons  refind.conf-sample ​ refind_ia32.efi ​ refind_x64.efi ​ tools_ia32 ​ tools_x64 
 +</​code> ​  
  
-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**+On renomme quelques fichiers  
 +<​code>​ 
 +$ mv refind_x64.efi bootx64.efi 
 +$ mv refind_ia32.efi bootia32.efi 
 +$ ls 
 +bootia32.efi ​ bootx64.efi ​ drivers_ia32 ​ drivers_x64 ​ icons  ​refind.conf-sample ​ tools_ia32 ​ tools_x64 
 +</code>
  
-== Extraction des fichiers. ​==+Ensuite on doit déplacer tous ces petits ​fichiers ​dans le répertoire EFI/boot/ de notre clé USB.
  
-En ligne de commande on extrait cet archive à l'aide de dpkg.+<​code>​ 
 +$ mv bootia32.efi boottX64.efi /​media/​EFI/​EFI/​boot/​ 
 +$ mv -r drivers_ia32 drivers_x64 icons refind.conf-sample tools_ia32 tools_x64 /​media/​EFI/​EFI/​ 
 +</​code>​
  
-   $ cd ~/refind +Voila c'est presque près courage, nous enfin installer un boot manager digne de ce nom.
-   $ dpkg -x refind_0.7.3-1_amd64.deb ./ +
-   $ ls +
-   etc/ usr/+
  
-Les fichiers qui nous intéresses sont situés dans **usr/​share/​refind-0.7.3/​refind/​**+Vous avez sûrement une image iso sous la main, 
  
-   $ cd  usr/​share/​refind-0.7.3/​refind/​ 
-   $ls 
-   ​drivers_x64 ​ icons  tools_x64 ​ refind_x64.efi ​ refind.conf-sample 
- 
-On renomme **refind_x64.efi** 
- 
-   $ mv refind_x64.efi bootx64.efi 
- 
- 
-    
  
-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. 
-Vous devriez avoir quelque chose comme ça en sortie. 
  
 <​code>​ <​code>​
 $ mount $ mount
 /dev/sdb1 on /​media/​refind type vfat (rw) /dev/sdb1 on /​media/​refind type vfat (rw)
-/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)+/dev/sdb2 on /media/LMDE type vfat (rw,​nosuid,​nodev,​uid=1000,​gid=1000,​shortname=mixed,​dmask=0077,​utf8=1,​showexec,​flush,​uhelper=udisks2)
 </​code>​ </​code>​
  
  
-====  Configuration ====+=====Configuration=====
  
 Pour cette seconde troisième partie nous allons nous attaquer le fichier de configuration **refind.conf** qui ce trouve sur notre clé usb. Pour cette seconde troisième partie nous allons nous attaquer le fichier de configuration **refind.conf** qui ce trouve sur notre clé usb.
Ligne 306: Ligne 303:
  
  
-====  Utilisation ====+=====  Utilisation ​=====
  
 Si les fichier de configuration sont niquels, et que vous les avez préparer au petits oignons. ​ Si les fichier de configuration sont niquels, et que vous les avez préparer au petits oignons. ​
doc/install/refind-boot-uefi.txt · Dernière modification: 26/11/2015 18:38 par milou

Pied de page des forums

Propulsé par FluxBB