Fix to VMM/Guest model dynamic switch for Virtio NIC

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

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index b4bccb7..eb15aca 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -3,7 +3,6 @@ menu "Virtual Devices"
 config APIC
        bool "APIC" 
        default y
-       depends on EXPERIMENTAL
        help 
          Includes the Virtual APIC device
 
@@ -19,7 +18,6 @@ config DEBUG_APIC
 
 config IO_APIC
        bool "IOAPIC"
-       depends on EXPERIMENTAL
        default y
        help 
          Includes the Virtual IO APIC
@@ -152,6 +150,22 @@ config DEBUG_VIRTIO_NET
         help
           Enable debugging for the Linux Virtio Network Device
 
+
+config LINUX_VIRTIO_VNET
+        bool "Enable Virtio VNET interface"
+        default n
+        depends on PCI && EXPERIMENTAL && VNET
+        help
+          Enable the Virtio VNET interface
+
+config DEBUG_LINUX_VIRTIO_VNET
+        bool "Virtio VNET Interface Debugging"
+        default n
+        depends on LINUX_VIRTIO_VNET && DEBUG_ON
+        help
+          Enable debugging for the VNET Virtio interface
+
+
 config VNET_NIC
         bool "Enable VNET VIrtio NIC Device"
         default n
@@ -347,6 +361,24 @@ config DISK_MODEL
        help 
          Includes Performance model filter for disk operations
 
+config VGA
+       bool "VGA"
+       default n
+       depends on !PASSTHROUGH_VIDEO && GRAPHICS_CONSOLE
+       help
+         Includes the Virtual VGA video support, and will 
+          eventually also include SVGA
+          Host frame buffer support (GRAPHICS_CONSOLE) is needed
+          for the hostframebuf option to work
+
+
+config DEBUG_VGA
+       bool "DEBUG_VGA"
+       default n
+       depends on VGA
+       help
+         Enables debugging output for the VGA device 
+
 config CGA
        bool "CGA"
        default n