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
signature.asc
Description: PGP signature
