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 [09/08/2013 14:06]
mytux [Installation]
doc:install:refind-boot-uefi [14/08/2013 15:52]
mytux [UEFI & EFI ( EN chantier )]
Ligne 1: Ligne 1:
-(//non testé// - **mytux** 09/08/13) Le retour sur le forum est ici : [[//url// | Lien vers le forum concernant ce tuto]]+ 
 + 
    ​N'​hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !    ​N'​hésitez pas à y faire part de vos remarques, succès, améliorations ou échecs !
 +(//non testé// - **mytux** 09/​08/​13) ​
 +Le retour sur le forum est ici : [[http://​debian-facile.org/​viewtopic.php?​id=7225|[WIKI] Tuto, Refind boot iso from UEFI ou EFI ]]
  
-====== Refind boot from UEFI ====== 
  
-  ​* Objet : Comment démarrer une image iso n'​ayant pas le support pour l'​UEFI ​? +====== UEFI & EFI====== 
-  * Niveau requis : TOUS + 
-  * Commentaires : Ce tuto, concerne les personnes disposant d' une carte mère intègrant ​le firmware EFI ou UEFI. +Toutes les versions 64bits des PC qui exécutent Windows certifié par le programme de certification Windows utilisent l’UEFI à la place du BIOS. 
 + 
 +  ​* Objet : Boot d'une distribution non compatible avec EFI & UEFI. 
 +  * Niveau requis : Tous 
 +  * Commentaires : Ce tuto, concerne les personnes disposant d' une carte mère intègrant ​des firmware EFI UEFI. 
   * Débutant, à savoir : [[manuel:​le_debianiste_qui_papillonne|Utiliser GNU/Linux en ligne de commande, tout commence là !.]] :-)   * Débutant, à savoir : [[manuel:​le_debianiste_qui_papillonne|Utiliser GNU/Linux en ligne de commande, tout commence là !.]] :-)
-  * Suivi : {{tag>​en-chantier}} +  * Suivi : {{tag>​en-chantier ​à-tester à-placer}} 
-   ​ +  
-===== Introduction ​=====+===== EFI & UEFI =====   ​
  
-Depuis peu, certain ordinnateurs achetés dans le commerce avec windows préinstallé sont équipés de ce nouveau firmware apppelé UEFI.  
  
-Qu'est ce que l'UEFI ?+A l'aube de l'ère du PC en 1981, IBM a livré son Personal Computer 5150 un firmware connu sous le nom de  Basic Input/​Output System (BIOS). 
 +Le BIOS était destiné à être une interface entre plusieurs périphériques et le Disk Operating System (DOS).
  
-//Citation Wipedia : +Au fil des ans le BIOS a été de moins en moins utilisé, car il était ​ ecrit   sur 16 bits, les systèmes ​d'​exploitation ​ont évolué ​sur 32 bits et, maintenant, en 64-bitLes OS avancés n'ont puent continuer ​à utiliser le Bios sans pertes de performance.
-"La norme Unified Extensible Firmware Interface (UEFI« interface micro-logicielle extensible unifiée ») définit un logiciel intermédiaire ​    ​entrele micrologiciel (firmware) et le système ​d'​exploitation ​(OS) d'un ordinateur. Cette interface succède ​sur certaines cartes-mères au BIOSElle fait suite à EFI (Extensible Firmware Interface), conçue par Intel pour les processeurs Itanium."//+
  
-Malheureusement toutes les distributions ne sont pas équipés d' ​un bootloader capable ​de démarrer sur ce nouveau logicielheureusement un certain Roderick W.Smith à développer un fork de Refit. Refind un bootmanager qui donne la main à un bootloader traditionnel+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êtPourtant, le démarrage ​de l'​ordinateur est une tâche importante, et la vieille conception ​ du BIOS créé est limitée
  
-Page officiel de Refind: http://​www.rodsbooks.com/​refind/ ​+=====EFI et UEFI=====
  
-===== Installation =====+J'​utilise le terme EFI pour se référer soit à EFI 1.X ou l'​UEFI.
  
-__Prérequis:​__ +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.
  
-  - Un support usb (de 1 à 2 go minimumselon la taille ​de votre iso) +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.
-  - Les droits root.+
  
-==== A : Téléchargement des binaires et création ​de l'​arborescence du répertoire ​de boot.====+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.
  
-__1 : Téléchargement__ ​+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. 
 +=====Structures de disques EFI=====
  
-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**+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. 
  
-__2 : Extraction ​des fichiers.__ +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
  
-En ligne de commande on extrait cet archive à l'aide de dpkg.+L'ESP devrait officiellement utiliser un système de fichiers FAT32, bien que de nombreuses distributions Linux utilise un système ​de fichiers FAT16.
  
-   $ cd ~/refind +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.
-   $ 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/​**+Chaque chargeur de démarrage EFI est stocké ​dans un sous-répertoire du répertoire EFI sur l'ESP
  
-   $ cd  usr/​share/​refind-0.7.3/refind/ +Ces répertoires sont généralement nommés d'​après le système d'​exploitation qui les a créésPar exemple, Ubuntu met ses fichiers EFI dans EFI ubuntu, et Red Hat met ses  dans EFI redhat
-   $ls +
-   ​drivers_x64 ​ icons  tools_x64 ​ refind_x64.efi ​ refind.conf-sample+
  
-On renomme **refind_x64.efi**+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.
  
-   $ mv refind_x64.efi bootx64.efi+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épertoireExemple :  EFI / refind pour Refind.
  
-__3 : Création de l'​arborescence de boot.__ 
  
-Premièrement nous allons créer les répertoire qui vont accueillir notre bootmanager. 
  
-   $ mkdir -p ~/​EFI/​boot/ ​ 
  
-On copie tout ce qui est dans le répertoire **~/​refind/​usr/​share/​refind-0.7.3/​refind/​** dans **~/​EFI/​boot/​** 
  
-   $ cp -a ~/​refind/​usr/​share/​refind-0.7.3/​refind/​* ~/EFI/boot/ 
-   $ cd  ~/EFI/boot/ 
-   $ ls -l 
-   ​-rw-r--r-- 1 axel axel 173608 août   7 18:05 bootx64.efi 
-   ​drwxr-xr-x 2 axel axel   4096 août   7 18:05 drivers_x64 
-   ​drwxr-xr-x 2 axel axel   4096 août   7 18:05 icons 
-   ​-rw-r--r-- 1 axel axel  17925 juil. 20 21:56 refind.conf 
-   ​drwxr-xr-x 2 axel axel   4096 août   7 18:05 tools_x64 
  
-On rend éxècutable tous ça.+===== rEFIND =====
  
-   $ chmod -R +x *+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). ​
  
-===== B : Préparation de la clé usb=====+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.
  
-__1 : Table de partition GPT __+Il est assez simple d' utilistation,​ polyvalent et va nous permettre ​de booter une image iso n'​ayant pas le support pour l'EFI.
  
-Cette partie va se faire principalement en root donc un petit +http://​www.rodsbooks.com/​refind/​
  
-   $ sudo su +====Téléchargement====
-   #+
  
-Nous allon créer une table de partition GPT sur notre clé usb, ensuite une partition ​de démarrage EFI Filesystem pour refind, une seconde partion Linux Filesystem ​ pour acceuillir notre image iso.+Aller à la page de téléchargement ​de [[http://​www.rodsbooks.com/​refind/​getting.html|rEFIND]].
  
-Pour cela nous aurons besoin de gdisk. +Télécharger les fichiers correspondant à votre périphériques.
-Généralement il n'est pas installé par défault, vous aurez besoin de l'​installer.+
  
-   # sudo apt-get install gdisk +Dans cet exemple je vais utiliser une image disque USB.
-   # gdisk /dev/sdb (ou le périphérique correspondant à votre clé usb) +
-   GPT fdisk (gdisk) version 0.8.5+
  
-   ​Partition table scan: +Après décompression je copie l' image disque à l'aide de <dd>, afin de récupérer les fichiers de l'​image.
-   MBR: MBR only +
-   BSD: not present +
-   APM: not present +
-   GPT: not present+
  
 +<​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>​
  
-   ​*************************************************************** +=====EFI file System=====
-   Found invalid GPT and valid MBR; converting MBR to GPT format. +
-   THIS OPERATION IS POTENTIALLY DESTRUCTIVE! Exit by typing '​q'​ if +
-   you don't want to convert your MBR partitions to GPT format! +
-   ​***************************************************************+
  
 +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.
  
-   ​Warning! Secondary ​partition ​table overlaps the last partition by +On va utiliser <​gdisk>,​ ce soft est similaire à fdisk, mais a nous permettre de manipuler des tables de partition ​GPT. 
-   33 blocks! +Sur la plupart des distributions il n'est pas installer par défault.
-   You will need to delete this partition or resize it in another utility.+
  
-   ​Command (? for help): ? ("? ou h"pour avoir la liste des commandes dsponible)+<​code>​ 
 +$ 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 suffirasi vous rencontrez ​des problèmes, augmenter sa taille.  
 +$ ef00                        # ef00 (EFI File System) 
 +</​code>​
  
 +Création d'une seconde partion pour notre image iso.
  
-   ​b back up GPT data to a file +<​code>​ 
-   c change a partition'​s name +$ n 
-   d delete a partition +$ 206848 ​                    # 206848 par défault à la suite de l'ESP 
-   ​i show detailed information on a partition +$ +2000M ​                    # 2 GB, je vois large. 
-   l list known partition types +$ 8300                       # 8300 (Linux File System
-   n add a new partition ​ +$ w                          # On sauvegarde 
-   o create a new empty GUID partition table (GPT+</code>
-   p print the partition table +
-   q quit without saving changes +
-   ​r recovery and transformation options (experts only) +
-   ​s sort partitions +
-   ​t change a partition'​s type code +
-   ​v verify disk +
-   ​w write table to disk and exit +
-   ​x extra functionality (experts only) +
-   ?​ print this menu+
  
-   ​Command (? for help): o ( "​o" ​pour créer une nouvelle ​table de partition gpt) +Ensuite, il faut redémarer ​pour que le Kernel relise la table de partitions.
-   This option deletes all partitions ​and creates a new protective MBR. +
-   ​Proceed?​ (Y/N): y (Demande confirmation)+
  
-   ​Command (? for help): p ("​p"​ pour afficher la table partition) +<​code>​ 
-   Disk /dev/sdb: 7716864 sectors, 3.7 GiB +$ sudo shutdown ​-r now 
-   ​Logical sector size: 512 bytes +</​code>​
-   Disk identifier (GUID): D3AF41F9-AF21-44D6-953F-450C30CFF81B +
-   Partition table holds up to 128 entries +
-   First usable sector is 34, last usable sector is 7716830 +
-   ​Partitions will be aligned on 2048-sector boundaries +
-   Total free space is 7716797 sectors (3.7 GiB)+
  
-   ​Number ​ Start (sector) ​   End (sector) ​ Size       ​Code ​ Name+Création d' un système de fichiers FAT32 sur les deux partions :
  
-   ​Command (? for help): n ("​n",​ pout créer une nouelle partition)  +<​code>​ 
-   Partition number (1-128, default 1): 1 ("​1 ou enter" pour le choix par défault)  +$ mkfs.vfat ​-F32 /dev/sdb1 
-   First sector (34-7716830,​ default = 2048) or {+-}size{KMGTP}:​ 2048 ("​enter"​ choix par défault) +$ mkfs.vfat -F32 /dev/sdb2 
-   Last sector (2048-7716830,​ default = 7716830) or {+-}size{KMGTP}:​ +10M (10 mo suffiront largement) +</code>
-   ​Current type is 'Linux filesystem'​ +
-   Hex code or GUID (L to show codes, Enter = 8300): L   ​ ("​L"​ pour connaître les codes connues)  +
-   0700 Microsoft basic data  0c01 Microsoft reserved ​   2700 Windows RE           +
-   4200 Windows LDM data      4201 Windows LDM metadata ​ 7501 IBM GPFS             +
-   7f00 ChromeOS kernel ​      7f01 ChromeOS root         7f02 ChromeOS reserved ​   +
-   8200 Linux swap            8300 Linux filesystem ​     8301 Linux reserved ​      +
-   8e00 Linux LVM             a500 FreeBSD disklabel ​    a501 FreeBSD boot         +
-   a502 FreeBSD swap          a503 FreeBSD UFS           a504 FreeBSD ZFS          +
-   a505 FreeBSD Vinum/RAID    a580 Midnight BSD data     a581 Midnight BSD boot    +
-   a582 Midnight BSD swap     a583 Midnight BSD UFS      a584 Midnight BSD ZFS     +
-   a585 Midnight BSD Vinum    a800 Apple UFS             a901 NetBSD swap          +
-   a902 NetBSD FFS            a903 NetBSD LFS            a904 NetBSD concatenated  +
-   a905 NetBSD encrypted ​     a906 NetBSD RAID           ab00 Apple boot           +
-   af00 Apple HFS/HFS+        af01 Apple RAID            af02 Apple RAID offline  ​ +
-   af03 Apple label           af04 AppleTV recovery ​     af05 Apple Core Storage ​  +
-   be00 Solaris boot          bf00 Solaris root          bf01 Solaris ​/usr & Mac Z +
-   bf02 Solaris swap          bf03 Solaris backup ​       bf04 Solaris ​/var        ​ +
-   bf05 Solaris ​/home         bf06 Solaris alternate se  bf07 Solaris Reserved 1   +
-   bf08 Solaris Reserved 2    bf09 Solaris Reserved 3    bf0a Solaris Reserved 4   +
-   bf0b Solaris Reserved 5    c001 HP-UX data            c002 HP-UX service ​       +
-   ef00 EFI System ​           ef01 MBR partition scheme ​ ef02 BIOS boot partition  +
-   fd00 Linux RAID             +
-   ​Hex ​code or GUID (L to show codes, Enter = 8300): ef00 (ef00 pour un système EFI)+
  
-   ​Command (? for help): p (p pour afficher la table de partition) +===== Installation ===== 
-   Disk /dev/sdb: 7716864 sectors, 3.7 GiB + 
-   Logical sector size512 bytes +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. 
-   Disk identifier ​(GUID): 734165E0-59BE-47CE-8773-64FCCC709443 + 
-   Partition table holds up to 128 entries +Montage des périphériques : 
-   First usable sector is 34, last usable sector is 7716830 +<​code>​ 
-   Partitions will be aligned on 2048-sector boundaries +$ sudo mount /dev/sdx1 /media/usb0 
-   Total free space is 7696317 sectors (3.7 GiB)+$ sudo mount /dev/sdx2 /​media/​usb1 
 +</​code>​ 
 + 
 +Copie de rEFIND sur la premiere partition ​
 +<​code>​ 
 +$ sudo cp -r EFI shellx64.efi ​ /​media/​usb0 ​                                                 # x64 ou ia32 selon votre  architecture ​(ia32 sur MAC) 
 +$ cd /​media/​usb0 
 +$ ls 
 +bootia32.efi ​ bootx64.efi ​ drivers_ia32 ​ drivers_x64 ​ icons  refind.conf 
 +$ rm -r bootia32.efi drivers_ia32 ​                                                          #​Supression des fichiers inutiles 
 +$ mv refind.conf exemple.conf ​                                                              #​Jeter un oeil à ce fichier, il y-a plein de commentaire. 
 +</​code>​ 
 + 
 +Ensuite installons notre iso avec Unetbootin : 
 + 
 +<​code>​ 
 +$ sudo apt-get install unetbootin 
 +$ sudo unetbootin & 
 +</​code>​
  
-   ​Number ​ Start (sector   End (sector) ​ Size       ​Code ​ Name +Bon là pas besoin de moi, vous installez une iso qui vous fais des misères ​(Crunchbang, LMDEsur /dev/sdx2.
-   ​1 ​           2048           ​22527 ​  10.0 MiB    EF00  EFI System+
  
-   ​Command (? for help): w (w pour sauvegarder les changements)+Dans cet exemple j'​utilise Crunchbang.
  
 +=====Configuration=====
    
-   Final checks completeAbout to write GPT data. THIS WILL OVERWRITE EXISTING +On approche de la fin, et on entame la partir la plus marrante.
-   ​PARTITIONS!!+
  
-   Do you want to proceed? (Y/N): y +Toutes la configuration ce fait dans le fichier refind.conf.
-   OK; writing new GUID partition table (GPT) to /dev/sdb. +
-   ​Warning:​ The kernel is still using the old partition table. +
-   The new table will be used at the next reboot. +
-   The operation has completed successfully. +
-   $+
  
-Voilà on a notre EFI pour acceuillir ​refind ​+Jeter un oeil sur la page de Roderick W. Smith, [[http://​www.rodsbooks.com/​refind/​configfile.html|Configuring the Boot manager]].
  
-Faites de même pour sur le reste de la clé mais cette fois avec un Linux Filesystem (Hex code 8300)+Et aussi, ​le fichier example.conf qu'on a rennomer tout à l'​heure.
  
-__2 : Création d'un systéme de fichiers vfat sur les deux partitions.__+<​code>​ 
 +$ nano refind.conf 
 +</​code>​
  
-   # mkfs.vfat -F16 /dev/sdb1 +Mon fichier refind.conf
-   ​mkfs.vfat 3.0.14 (23 Jan 2023) +
-   # mkfs.vfat -F32 /dev/sdb2 +
-   ​mkfs.vfat 3.0.14 (23 Jan 2023) +
-   # blkid +
-   /​dev/​sdb1:​ LABEL="​jump"​ UUID="​339F-2ABE"​ TYPE="​vfat"​ SEC_TYPE="​msdos"​  +
-   /​dev/​sdb2UUID="​3568-43B4"​ TYPE="​vfat" ​+
  
-__3 : Montage des périphériques.__+<​file>​ 
 +timeout 10
  
-   # mkdir -p /media/refind +icons_dir EFI/boot/icons
-   # mkdir -p /​media/​iso +
-   # mount /dev/sdb1 /​media/​refind +
-   # mount /dev/sdb2 /media/iso+
  
-__4 : Copie des fichiers sur la clef__+textonly
  
-   # cp -r ~/EFI /​media/​refind+showtools shell, about, reboot, exit
  
-Pour la seconde partitions nous allons utiliser Unetbootin.+scan_driver_dirs EFI/​boot/​drivers_x64
  
-Télécharger une image iso qui n'a pas le support pour l'UEFIj'ai tester avec Crunchbang et LMDE 64bit. +scanfor internal,external,​optical,​manual
-Installer votre iso sur /dev/sdb2 avec Unetbootin.+
  
-Yen a pour un moment+scan_delay 1
  
 +dont_scan_dirs EFI/​linuxmint,​boot
  
 +default_selection Crunch_Live
  
 +menuentry Crunch_Live {
 +        icon /​EFI/​boot/​icons/​os_debian.icns ​
 +        volume 1:
 +        loader /​live/​vmlinuz
 +        initrd /​live/​initrd.img
 +        options "ro root=UUID=C847-7244 add_efi_memmap config boot=live"​
 +        osype Linux
 +        graphics off
 +}
  
 +menuentry Crunch_Install {
 +        icon /​EFI/​boot/​icons/​os_debian.icns ​
 +        volume 1:
 +        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
 +}
  
-===== Configuration ==== 
  
 +</​file>​
  
 +Pour vous aider vous aurez besoin du fichier syslinux.cfg générer par Unetbootin :
 +
 +<​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
 +
 +label ubnentry0
 +menu label Live Session
 +kernel /​live/​vmlinuz
 +append initrd=/​live/​initrd.img boot=live config quiet
 +
 +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
 +
 +label ubnentry2
 +menu label Memory Test
 +kernel /​live/​memtest
 +append initrd=/​ubninit ​
 +
 +$
 +</​code>​
 +
 +
 + 
  
-===== Utilisation ===== 
doc/install/refind-boot-uefi.txt · Dernière modification: 26/11/2015 18:38 par milou

Pied de page des forums

Propulsé par FluxBB