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.