xen: Use OVMF-xen (OvmfXen) instead of generic OVMF OvmfPkgX64 (#521336)

This commit is contained in:
Fernando Rodrigues
2026-05-21 11:19:56 +00:00
committed by GitHub
+2 -2
View File
@@ -36,7 +36,7 @@
withIPXE ? true,
ipxe,
withOVMF ? true,
OVMF,
OVMF-xen,
withSeaBIOS ? true,
seabios-qemu,
@@ -276,7 +276,7 @@ stdenv.mkDerivation (finalAttrs: {
"--disable-qemu-traditional"
"--with-system-qemu"
(if withSeaBIOS then "--with-system-seabios=${seabios-qemu.firmware}" else "--disable-seabios")
(if withOVMF then "--with-system-ovmf=${OVMF.mergedFirmware}" else "--disable-ovmf")
(if withOVMF then "--with-system-ovmf=${OVMF-xen.mergedFirmware}" else "--disable-ovmf")
(if withIPXE then "--with-system-ipxe=${ipxe.firmware}" else "--disable-ipxe")
(enableFeature withFlask "xsmpolicy")
];