Hartmut Goebel writes: > 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. If you used the 0.13 release image, it will not work on a CDROM. You will need to pass it to the virtual machine monitor as a raw hard drive. There is support in git for generating an ISO9660 image, but I don't know if it works with EFI.