hw/pci-host: Add Kconfig entry to select the IGD Passthrough Host Bridge
authorPhilippe Mathieu-Daudé <philmd@redhat.com>
Mon, 9 Dec 2019 09:50:02 +0000 (10:50 +0100)
committerPaolo Bonzini <pbonzini@redhat.com>
Wed, 18 Dec 2019 01:34:12 +0000 (02:34 +0100)
Add the XEN_IGD_PASSTHROUGH Kconfig option.

Xen build has that option selected by default. Non-Xen builds now
have to select this feature manually.

Signed-off-by: Philippe Mathieu-Daudé <philmd@redhat.com>
Message-Id: <20191209095002.32194-7-philmd@redhat.com>
Acked-by: Paul Durrant <paul@xen.org>
Signed-off-by: Paolo Bonzini <pbonzini@redhat.com>
hw/pci-host/Kconfig
hw/pci-host/Makefile.objs

index b0aa8351c4a367020119172edbad199c385b0efe..9642c77e98b15a90d0a85ec2ccba84e4945bea90 100644 (file)
@@ -1,6 +1,11 @@
 config PAM
     bool
 
+config XEN_IGD_PASSTHROUGH
+    bool
+    default y
+    depends on XEN && PCI_I440FX
+
 config PREP_PCI
     bool
     select PCI
index fa6d1556c0ee58cea4aba973a2998cfa1a859ba0..9c466fab0101c77fd001b8e8a3b6933b8b226395 100644 (file)
@@ -14,7 +14,7 @@ common-obj-$(CONFIG_VERSATILE_PCI) += versatile.o
 common-obj-$(CONFIG_PCI_SABRE) += sabre.o
 common-obj-$(CONFIG_FULONG) += bonito.o
 common-obj-$(CONFIG_PCI_I440FX) += i440fx.o
-common-obj-$(CONFIG_PCI_I440FX) += xen_igd_pt.o
+common-obj-$(CONFIG_XEN_IGD_PASSTHROUGH) += xen_igd_pt.o
 common-obj-$(CONFIG_PCI_EXPRESS_Q35) += q35.o
 common-obj-$(CONFIG_PCI_EXPRESS_GENERIC_BRIDGE) += gpex.o
 common-obj-$(CONFIG_PCI_EXPRESS_XILINX) += xilinx-pcie.o