Re: How to use custom grub?

[Danny Milosavljevic]

Looks good to me!

I also invoked make in the guix directory - which didn't print any new warnings 
-, reconfigured the system (for non-uefi grub) and successfully booted with it. 
So all good!