GuixSD Success with grub-efi

[James Richardson <james@jamestechnotes.com>]

[-- Attachment #1: Type: text/plain, Size: 446 bytes --]

I just successfully installed guixsd 0.13.0 with efi on a new HP
laptop. I found the manual to be somewhat lacking with specific details
on exactly how to accomplish this. I've added to my todo list to post
more details here.

I also had to disable secure boot (for obvious(?) and annoying reasons)
for the laptop to actually boot, but that is a rant for a different
audience. ;)

Thanks to all who helped make this possible!
--
James Richardson

[-- Attachment #2: signature.asc --]
[-- Type: application/pgp-signature, Size: 800 bytes --]