added pci passthrough and a few other things

[palacios.git] / palacios / src / devices / Kconfig

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 6f63f23..dde39ab 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -199,6 +199,13 @@ config PCI
        help
          Includes the Virtual PCI Bus
 
+config PASSTHROUGH_PCI
+       bool "Passthrough PCI"
+       default y 
+       depends on PCI && EXPERIMENTAL
+       help 
+         Enables hardware devices to be passed through to the VM
+
 config DEBUG_PCI
        bool "PCI debugging"
        depends on PCI && DEBUG_ON