UEFI testing

[Danny Milosavljevic]

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.