···8080 + optionalString isEfi (if pkgs.stdenv.isAarch64
8181 then ''bios => "${pkgs.OVMF.fd}/FV/QEMU_EFI.fd", ''
8282 else ''bios => "${pkgs.OVMF.fd}/FV/OVMF.fd", '');
8383- in
8484- ''
8383+ in if !isEfi && !(pkgs.stdenv.isi686 || pkgs.stdenv.isx86_64) then
8484+ throw "Non-EFI boot methods are only supported on i686 / x86_64"
8585+ else ''
8586 $machine->start;
86878788 # Make sure that we get a login prompt etc.