Hi, at FOSDEM we've been talking about testing UEFI booting in Guix system tests.
The command to use for that is: qemu-system-x86_64 -bios $(guix build ovmf)/share/firmware/ovmf_x64.bin -m 1G -enable-kvm -hda ZZ -serial stdio The place where system tests are is gnu/tests/install.scm - it's using marionette-operating-system to prepare system tests. So qemu would have to do a full boot using "-bios". There's already an extlinux test there, so it should be easy to use that as a template (copy %test-installed-extlinux-os to %test-installed-efi-os and adapt it; also copy the %minimal-extlinux-os definition). run-install could gain an option for the bios - which would then be passed by %test-installed-efi-os . I don't have UEFI or a use for it, so this mail is just a heads-up.
