On Sun, May 28, 2017 at 04:05:46PM -0400, Peter Baumgarten wrote: > Can GuixSD be installed with UEFI instead of BIOS?
As of Guix 0.13.0 (the most recent release), yes. I haven't tried it, but it's covered in the System Installation section of the manual: https://www.gnu.org/software/guix/manual/html_node/System-Installation.html
