debian/rules.real: enable OVMF

Enable OVMF option. Has no side-effects and doesn't require compile-time
or run-time dependencies until you add bios='ovmf' in a domU cfg.

Also see #858962

diff --git a/debian/changelog b/debian/changelog
index 54ee0765ba142d2ed6e70c82cbd31cf222fd4f89..052a316f223168770618c289104fd9f94ed7f7a1 100644 (file)
--- a/debian/changelog
+++ b/debian/changelog
@@ -40,6 +40,9 @@ xen (4.10.1~pre+2.3921128fcb-1~) UNRELEASED; urgency=medium
   [ Mark Pryor ]
   * Fix shared library build dependencies for the new xentoolcore library.
 
+  [ John Keates ]
+  * Enable OVMF (Closes: #858962)
+
  -- Hans van Kranenburg <hans@knorrie.org>  Sun, 25 Feb 2018 01:21:20 +0100
 
 xen (4.8.2+xsa245-0+deb9u1) stretch-security; urgency=high

diff --git a/debian/rules.real b/debian/rules.real
index e9508fe0df77b8d7a7a4366c9d80ef6801441aa9..16f75558b80e540ebac97890973b4b61306ff852 100644 (file)
--- a/debian/rules.real
+++ b/debian/rules.real
@@ -73,6 +73,7 @@ $(STAMPS_DIR)/setup-utils_$(ARCH):
                        --disable-ocamltools \
                        --disable-qemu-traditional --disable-rombios \
                        --with-system-qemu=/usr/bin/qemu-system-i386 \
+                       --enable-ovmf --with-system-ovmf=/usr/share/ovmf/OVMF.fd \
                        --with-system-seabios=/usr/share/seabios/bios-256k.bin
        @$(stamp)