Re: How to use custom grub?

[ludo@gnu.org (Ludovic Courtès)]

Hello!

Marius Bakke <mbakke@fastmail.com> skribis:

> I have a working UEFI GuixSD system, by adding FAT32 support to
> base-initrd and installing the initial UEFI bootloader from a non-Guix
> live CD.

Cool!  We should integrate the necessary changes in ‘master’.

> The "grub-configuration" object takes a 'grub' argument which defaults
> to (@ (gnu packages grub) grub). However setting that to 'grub-efi' in
> the operating-system declaration or even directly in gnu/system/grub.scm
> has no effect.

Ideally it should have the desired effect.  :-)

> Looking at guix/scripts/system.scm, grub is defined as
> (package->derivation grub). I tried exporting grub-configuration-grub
> and using that in the (package->derivation) procedure, but that broke
> the world :)
>
> What is the correct approach here?

What you describe above looks like the right approach.  Maybe we could
see exactly what broke and work from there, unless Danny’s patch already
solves the issue?

Thanks,
Ludo’.