Leo Famulari <leo@famulari.name> writes:

> I've built this GRUB for x86_64-linux and i686-linux, and I'm using it
> successfully for GuixSD on x86_64-linux.
>
> I'll push it in the next day or two, but I'd like to give others the
> opportunity to test their setups.

This works for me on a UEFI system. Thanks!