When restricting Virt machine to Xen in commit 8c4648f5a20
("hw/arm: Do not expose the virt machine on Xen-only binary")
we missed this machine works fine on WHPX. Restore that.
Fixes: 8c4648f5a20 ("hw/arm: Do not expose the virt machine on Xen")
Signed-off-by: Philippe Mathieu-Daudé <[email protected]>
---
hw/arm/Kconfig | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/hw/arm/Kconfig b/hw/arm/Kconfig
index f9a225c19bc..d0f08c0c07d 100644
--- a/hw/arm/Kconfig
+++ b/hw/arm/Kconfig
@@ -2,7 +2,7 @@ config ARM_VIRT
bool
default y
depends on ARM
- depends on TCG || KVM || HVF
+ depends on TCG || KVM || HVF || WHPX
imply PCI_DEVICES
imply TEST_DEVICES
imply TPM_TIS_SYSBUS
--
2.53.0
