From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from eggs.gnu.org ([2001:4830:134:3::10]:51752) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1dBSWl-0004bz-DX for guix-patches@gnu.org; Thu, 18 May 2017 17:00:12 -0400 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1dBSWh-00062Q-Cv for guix-patches@gnu.org; Thu, 18 May 2017 17:00:07 -0400 Received: from debbugs.gnu.org ([208.118.235.43]:51249) by eggs.gnu.org with esmtps (TLS1.0:RSA_AES_128_CBC_SHA1:16) (Exim 4.71) (envelope-from ) id 1dBSWh-00062H-AH for guix-patches@gnu.org; Thu, 18 May 2017 17:00:03 -0400 Received: from Debian-debbugs by debbugs.gnu.org with local (Exim 4.84_2) (envelope-from ) id 1dBSWh-0006sB-0P for guix-patches@gnu.org; Thu, 18 May 2017 17:00:03 -0400 Subject: bug#26815: [PATCH v4 3/3] vm: Add UEFI loader to disk images. Resent-Message-ID: From: ludo@gnu.org (Ludovic =?UTF-8?Q?Court=C3=A8s?=) References: <87r2zoygoi.fsf@gnu.org> <20170517110522.18106-1-mbakke@fastmail.com> <20170517110522.18106-3-mbakke@fastmail.com> <87ziebtbph.fsf@gnu.org> <877f1ecf00.fsf@fastmail.com> <8737c2cbm5.fsf@fastmail.com> Date: Thu, 18 May 2017 22:59:28 +0200 In-Reply-To: <8737c2cbm5.fsf@fastmail.com> (Marius Bakke's message of "Thu, 18 May 2017 19:34:42 +0200") Message-ID: <871srlankf.fsf@gnu.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-patches-bounces+kyle=kyleam.com@gnu.org Sender: "Guix-patches" To: Marius Bakke Cc: 26815@debbugs.gnu.org Marius Bakke skribis: > Here is a start on UEFI documentation update. Not sure if it's okay to > hijack the lightweight desktop template, or if it's better to have an > example closer to the (GRUB Configuration) section. I think it=E2=80=99s OK. > From 9db5b8acb017b8f283d36d09835f947879be4e30 Mon Sep 17 00:00:00 2001 > From: Marius Bakke > Date: Thu, 18 May 2017 19:24:36 +0200 > Subject: [PATCH] doc: Update GRUB EFI instructions. > > * doc/guix.texi (USB Stick Installation): Mention UEFI. > (Preparing for Installation): Add note about EFI System Partition. > (Proceeding with the Installation): Mention the GRUB-EFI package. > (GRUB Configuration): Likewise. > (Using the Configuration System): Hijack lightweight desktop to include U= EFI. > * gnu/system/examples/lightweight-desktop.tmpl: Adjust native EFI configu= ration. Great! Minor suggestions: > +If you instead wish to use EFI-based grub, a FAT32 EFI System Partition > +is required. This partition should be mounted at @file{/boot/efi} and > +must have the @dfn{esp} flag set. E.g. for @command{parted}: I would change this paragraph like this --8<---------------cut here---------------start------------->8--- @cindex EFI, installation @cindex UEFI, installation @cindex ESP, EFI system partition If you instead wish to use EFI-based GRUB, a FAT32 @dfn{EFI System Partitio= n} (ESP) is required. This partition should be mounted at @file{/boot/efi} and must have the @code{esp} flag set. E.g., for @command{parted}: --8<---------------cut here---------------end--------------->8--- > @item @code{grub} (default: @code{grub}) > -The GRUB package to use. > +The GRUB package to use. Currently either @code{grub} or @code{grub-efi= }. Maybe: --8<---------------cut here---------------start------------->8--- @cindex EFI, bootloader @cindex UEFI, bootloader @cindex BIOS, bootloader The GRUB package to use. Currently either @code{grub}, for ``legacy'' x86 BIOS systems, or @code{grub-efi}, for modern systems using the @dfn{Unified Extensible Firmware Interface} (UEFI). --8<---------------cut here---------------end--------------->8--- > ;; Assuming /dev/sdX is the target hard disk, and "my-root" > ;; is the label of the target root file system. > - (bootloader (grub-configuration (device "/dev/sdX"))) > - > - (file-systems (cons (file-system > - (device "my-root") > - (title 'label) > - (mount-point "/") > - (type "ext4")) > - %base-file-systems)) > + (bootloader (grub-configuration (grub grub-efi) > + (device "/dev/sdX"))) In the comment could you add that this is for a UEFI/EFI system? Thank you! Ludo=E2=80=99.