X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=b449d3425968786283378f9b627f0197cca712a7;hb=5759b7f644b659d0dbde6f5a7e21a88514cbe32d;hp=456d71753cc32a5ddc6222e3dcaa227f09269f6b;hpb=01d142cec24e5054d8d86e5dba1eff7f5b008c72;p=palacios-OLD.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 456d717..b449d34 100644
--- 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
 
@@ -265,6 +265,11 @@ config FILEDISK
 	help
 	  Includes the file based disk backend
 
+config DEBUG_FILEDISK
+	bool "FILEDISK backend debugging"
+	depends on FILEDISK && DEBUG_ON
+	help 
+	  Enable debugging for the file based disk backend 	
 
 config NETDISK
 	bool "NETDISK storage backend"
@@ -280,6 +285,11 @@ config RAMDISK
 	help 
 	  Includes the RAM based disk backend
 
+config DEBUG_RAMDISK
+	bool "RAMDISK baskend debugging"
+	depends on RAMDISK && DEBUG_ON
+	help 
+	  Enable debugging for the ram based disk backend 	
 
 config TMPDISK
 	bool "TMPDISK storage backend"
@@ -337,11 +347,11 @@ config SERIAL_UART
 	help 
 	  Include virtual serial port
 
-config STREAM
-	bool "Stream device"
+config CHAR_STREAM
+	bool "Stream based character frontend"
 	default n
 	help
-	  Stream Device
+	  Include Stream based character device frontend
 
 endmenu