Re: GuixSD Success with grub-efi

2017-05-30 Thread Marius Bakke
James Richardson writes: > 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. Thanks for the report! Improvements t

Re: GuixSD Success with grub-efi

2017-05-29 Thread Adonay Felipe Nogueira
Interesting, that would surely be something useful to document. I wonder if it's possible to use GuixSD with Secure Boot. Remember, however, that we should embrace Secure Boot and reject Restricted Boot ([[https://media.libreplanet.org/u/libby/m/embracing-secure-boot-and-rejecting-restricted-boot-

GuixSD Success with grub-efi

2017-05-29 Thread James Richardson
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)