GuixSD Success with grub-efi

GuixSD Success with grub-efi

[James Richardson]

[-- 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 --]

Re: GuixSD Success with grub-efi

[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-matthew-garrett/]]). The
reference given show that they're different concepts for free/libre
software activists. Secure Boot allows the user to manage the keys,
while Restricted Boot doesn't allow that. So the difference isn't a
matter of having an "on-off" switch.

One thing sounds odd, though: When you say you had to disable Secure
Boot, did you mean that you had to disable it before installing GuixSD, and
then enable Secure Boot after instalation in order for you to use GuixSD
with it? Or did you keep it disabled even after instalation?

-- 
- [[https://libreplanet.org/wiki/User:Adfeno]]
- Palestrante e consultor sobre /software/ livre (não confundir com
  gratis).
- "WhatsApp"? Ele não é livre, por isso não uso. Iguais a ele prefiro
  GNU Ring, ou Tox. Quer outras formas de contato? Adicione o vCard
  que está no endereço acima aos teus contatos.
- Pretende me enviar arquivos .doc, .ppt, .cdr, ou .mp3? OK, eu
  aceito, mas não repasso. Entrego apenas em formatos favoráveis ao
  /software/ livre. Favor entrar em contato em caso de dúvida.

Re: GuixSD Success with grub-efi

[Marius Bakke]

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

James Richardson <james@jamestechnotes.com> 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 to the manual are very welcome.

FWIW I recently went through the same installation and was confused by
the fact that the example files from "/etc/configuration" in the USB
disk image differed from the manual, but that is already fixed for the
next release.

But then, I did not actually follow the manual (having written the UEFI
parts), so I'm very interested in hearing "first impressions" from a new
user :-)

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