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.
