Danny Milosavljevic <dannym@scratchpost.org> writes:

> Hi Marius,
>
> yeah, I've noticed that problem, too.
>
> David and I got some steps in the direction of fixing it (for U-Boot support):
>
> The U-Boot support patch generalized this, see my E-Mail to this list, subject "[WIP PATCH] gnu: add U-Boot support to operating-system" on 09 Sep 2016 at 20:09.
>
> The relevant part is:
> - guix/scripts/system.scm: The "install" routine is changed to also accept the bootloader package as argument (variable is called "grub" to keep the number of trivial patch chunks low).
> - guix/scripts/system.scm: The new "install-bootloader*" routine is introduced instead of "install-grub*" to also accept the bootloader package as argument.
>
> If you want you can cherry-pick these changes. I've reconfigured and booted with that patch. It works.

Thanks a lot for the fast reply! That patch was really helpful.

I'll try to extract the parts that are relevant for grub-efi support
while keeping other bootloaders in mind. Hoping to largely piggy-back on
the regular grub stuff for grub-efi, as it only needs two extra lines in
grub.cfg and adding "--bootloader-id=GNU" "--efi-directory=<boot-dir>"
to the grub-install command.