Chris Marusich <cmmarus...@gmail.com> skribis:
> l...@gnu.org (Ludovic Courtès) 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 “ls /boot/grub/x86_64-efi” too. :-)
>> and typed the ‘search.file’, ‘linux’, and ‘initrd’ that appear
>> ‘grub.cfg’ (“source /…/grub.cfg” did not work.)
>>
>> That actually booted GuixSD. This time it had /sys/firmware/efi. Thus
>> I re-run ‘grub-install’ from there and upon reboot, the thing would
>> immediately boot GRUB! \o/
>>
>> I still need to sort out a few shenanigans but I’m 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 ‘file-systems’:
(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 ‘grub-install’ to do its thing when I run ‘guix system
reconfigure’.
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’.
