[PATCH] Issue #2294 | Machine microvm doesn't run under Xen accel for x86_64

[Will Gyda]

Issue #2294: Machine microvm doesn't run under Xen accel for 
qemu-system-x86_64. 
Solution: microvm is now not build if only Xen is available.

Signed-off-by: Will Gyda <vilhelmg...@gmail.com>

---
 configs/devices/i386-softmmu/default.mak | 2 +-
 hw/i386/Kconfig                          | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/configs/devices/i386-softmmu/default.mak 
b/configs/devices/i386-softmmu/default.mak
index 598c6646df..6a73aee7dd 100644
--- a/configs/devices/i386-softmmu/default.mak
+++ b/configs/devices/i386-softmmu/default.mak
@@ -29,4 +29,4 @@
 CONFIG_ISAPC=y
 CONFIG_I440FX=y
 CONFIG_Q35=y
-CONFIG_MICROVM=y
+#CONFIG_MICROVM=n
diff --git a/hw/i386/Kconfig b/hw/i386/Kconfig
index a6ee052f9a..f8ec8ebd7a 100644
--- a/hw/i386/Kconfig
+++ b/hw/i386/Kconfig
@@ -108,6 +108,8 @@ config Q35
 
 config MICROVM
     bool
+    default y
+    depends on KVM || WHPX || NVMM || HVF
     select SERIAL_ISA # for serial_hds_isa_init()
     select ISA_BUS
     select APIC
-- 
2.25.1