attribution fix for the machine check framework

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

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 685b245..3d157d6 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -155,7 +155,7 @@ config DEBUG_VIRTIO_NET
 config VNET_NIC
         bool "Enable VNET VIrtio NIC Device"
         default n
-       depends on PCI && EXPERIMENTAL
+       depends on PCI && EXPERIMENTAL && VNET
         help
           Enable the VNET Virtio backend device
 
@@ -181,6 +181,20 @@ config DEBUG_NE2k
          Enable debugging for the NE2K
 
 
+config NIC_BRIDGE
+        bool "Enable Direct Bridge to Host network"
+        default n
+        depends on EXPERIMENTAL && PACKET
+        help
+          Enable Host Direct Network Bridge backend device for all network front devices
+
+config DEBUG_NIC_BRIDGE
+        bool "Debugging Direct Bridge to Host network"
+        default n
+        depends on NIC_BRIDGE && DEBUG_ON
+        help
+          Enable Debugging on Host Direct Network Bridge backend device
+
 
 
 
@@ -327,6 +341,13 @@ config CGA
          Includes the Virtual CGA video support
 
 
+config DEBUG_CGA
+       int "DEBUG_CGA"
+       default 0
+       depends on CGA
+       help
+         Enables Debugging for the CGA device (2 = Verbose, 1 = Debug, 0 = Off)
+
 config TELNET_CONSOLE
        bool "Telnet Virtual Console"
        default n
@@ -353,5 +374,13 @@ config CHAR_STREAM
        help
          Include Stream based character device frontend
 
+
+config MCHECK
+       bool "Machine Check architecture"
+       default n
+       depends on EXPERIMENTAL
+       help 
+         Include Machine Check injection architecture
+
 endmenu