From mboxrd@z Thu Jan 1 00:00:00 1970 From: ludo@gnu.org (Ludovic =?utf-8?Q?Court=C3=A8s?=) Subject: Re: [PATCH 6/6] gnu: Add grub-efi. Date: Wed, 04 Jan 2017 23:18:28 +0100 Message-ID: <874m1eh3kb.fsf@gnu.org> References: <20161105125511.29383-1-mbakke@fastmail.com> <20161105125511.29383-7-mbakke@fastmail.com> <20161105185803.GA11667@jasmine> <87h97l67kz.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <878tsww9ov.fsf@gnu.org> <87vaw087kr.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <871syny88o.fsf@gnu.org> <87oa1r8wyv.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <871sx73ink.fsf@gnu.org> <87y3zfrd7j.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <87y3zdo6cx.fsf@gnu.org> <87lgvdnw23.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <87lgvc6vp0.fsf@gnu.org> <87lgvbc41t.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <87fulj1uxc.fsf@gnu.org> <87inqfbkmr.fsf@kirby.i-did-not-set--mail-host-address--so-tickle-me> <87d1gmiu5b.fsf@gnu.org> <87pok42knc.fsf@gnu.org> <87y3ysyv8h.fsf@gmail.com> Mime-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable Return-path: Received: from eggs.gnu.org ([2001:4830:134:3::10]:50995) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1cOttD-0000Co-Ow for guix-devel@gnu.org; Wed, 04 Jan 2017 17:18:36 -0500 Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1cOtt8-0003Jl-RQ for guix-devel@gnu.org; Wed, 04 Jan 2017 17:18:35 -0500 In-Reply-To: <87y3ysyv8h.fsf@gmail.com> (Chris Marusich's message of "Tue, 03 Jan 2017 08:16:30 -0800") List-Id: "Development of GNU Guix and the GNU System distribution." List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guix-devel-bounces+gcggd-guix-devel=m.gmane.org@gnu.org Sender: "Guix-devel" To: Chris Marusich Cc: guix-devel@gnu.org Chris Marusich skribis: > ludo@gnu.org (Ludovic Court=C3=A8s) writes: > >> Howdy! >> >> There I typed at the GRUB command prompt: >> >> insmod efi_gop >> insmod efi_uga >> cat /var/guix/gcroots/grub.cfg > > Slightly off-topic question: how does one find out what the possible > values for X are in a command like "insmod X"? I've searched before and > I couldn't find a list in the manual, so I presume it's something you > have to "just know" at runtime, somehow. Yeah, I run =E2=80=9Cls /boot/grub/x86_64-efi=E2=80=9D too. :-) >> and typed the =E2=80=98search.file=E2=80=99, =E2=80=98linux=E2=80=99, an= d =E2=80=98initrd=E2=80=99 that appear >> =E2=80=98grub.cfg=E2=80=99 (=E2=80=9Csource /=E2=80=A6/grub.cfg=E2=80=9D= did not work.) >> >> That actually booted GuixSD. This time it had /sys/firmware/efi. Thus >> I re-run =E2=80=98grub-install=E2=80=99 from there and upon reboot, the = thing would >> immediately boot GRUB! \o/ >> >> I still need to sort out a few shenanigans but I=E2=80=99m getting there. > > Sweet! I've been tentatively following this thread; glad to see you're > making progress. So the last bit was to add this to =E2=80=98file-systems=E2=80=99: (file-system (title 'device) (device "/dev/sda1") (mount-point "/boot/efi") (type "vfat") (check? #f)) ;work around lack of fsck support for vfat That allows =E2=80=98grub-install=E2=80=99 to do its thing when I run =E2= =80=98guix system reconfigure=E2=80=99. Essentially, what remains to be done is: 1. fsck support for vfat (discussed with David C. and Marius); 2. produce an EFI installation image; 3. document it, add an example config probably. Ludo=E2=80=99.