X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=23a88ff3b28f980e4a5c12487daf2a0a1c313750;hb=cf780b903a02efc700d51dbadcc90115f016256c;hp=d49bb9e96cfe71878af76a07e84538a059c9ce07;hpb=0d60954c2b59017520c4c3ba7d2dde0bbfc9a2d6;p=palacios.releases.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index d49bb9e..23a88ff 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -153,10 +153,18 @@ config DEBUG_VIRTIO_SYM
 	help 
 	  Enable debugging for the Linux Virtio Symbiotic Device
 
+config LINUX_VIRTIO_CONSOLE
+        bool "Enable Virtio Console Device"
+        default n
+	depends on PCI
+        help
+          Enable the Virtio Console
+
+
 config LINUX_VIRTIO_NET
         bool "Enable Virtio Network Device"
         default n
-	depends on PCI
+	depends on PCI && VNET
         help
           Enable the Virtio Net
 
@@ -366,7 +374,7 @@ config RAMDISK
 	  Includes the RAM based disk backend
 
 config DEBUG_RAMDISK
-	bool "RAMDISK baskend debugging"
+	bool "RAMDISK backend debugging"
 	depends on RAMDISK && DEBUG_ON
 	help 
 	  Enable debugging for the ram based disk backend 	
@@ -451,6 +459,13 @@ config SERIAL_UART
 	help 
 	  Include virtual serial port
 
+config DEBUG_SERIAL
+        bool "Debug Serial Port"
+        default n
+        depends on SERIAL_UART
+        help
+          Debugging virtual serial port
+
 config CHAR_STREAM
 	bool "Stream based character frontend"
 	depends on STREAM
@@ -458,13 +473,5 @@ 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