Does the installation image support UEFI boot?

Hi, today I tried installing GuixSD from the installation image (guixsd-usb-install) into a virtual machine which only supports UEFI and EUFI CSM. I "installed" the image as CD-ROM drive, but booting failed. I tried the same with the Debian netinst image which booted. Before I start spending

GuixSD for Raspberry?

Hi, quick answer: What is the status of GuixSD for Raspberry? Searching the web did not help finding this out. -- Regards Hartmut Goebel | Hartmut Goebel | h.goe...@crazy-compilers.com | | www.crazy-compilers.com | compilers which you thought are impossible |