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 e62b00c..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
@@ -259,11 +266,20 @@ config SYM_SWAP
        help 
          Includes the symbiotic ram based swap disk
 
-config VIDEO
-       bool "VIDEO"
+config CGA
+       bool "CGA"
        default n
-       depends on PCI && EXPERIMENTAL
+       depends on !PASSTHROUGH_VIDEO
        help
-         Includes the Virtual Video Card Device
+         Includes the Virtual CGA video support
+
+
+config TELNET_CONSOLE
+       bool "Telnet Virtual Console"
+       default n
+       depends on CGA && !PASSTHROUGH_VIDEO
+       help
+         Includes the virtual telnet console 
 
 endmenu
+