X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;h=7bcc256a70c0854fdfe692a1f92e96e0f34e0d09;hb=964e7836a6227341b5d895a830b7e36ad6debffb;hp=b04376f02ebb3793209f6a02b203946a2cbfe61f;hpb=d3ba44fb64c5a40a0d47cf8fecf809b8c20fd440;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index b04376f..7bcc256 100644
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -3,7 +3,7 @@ menu "Virtual Devices"
 config APIC
 	bool "APIC" 
 	default y
-	depends on ICC_BUS
+	depends on ICC_BUS && EXPERIMENTAL
 	help 
 	  Includes the Virtual APIC device
 
@@ -19,7 +19,7 @@ config DEBUG_APIC
 
 config IO_APIC
 	bool "IOAPIC"
-	depends on ICC_BUS
+	depends on ICC_BUS && EXPERIMENTAL
 	default y
 	help 
 	  Includes the Virtual IO APIC
@@ -35,9 +35,17 @@ config DEBUG_IO_APIC
 config ICC_BUS
 	bool "ICC BUS"
 	default y
+	depends on EXPERIMENTAL
 	help 
 	  The ICC Bus for APIC/IOAPIC communication
 
+config DEBUG_ICC_BUS
+	bool "ICC BUS Debugging"
+	default n
+	depends on ICC_BUS && DEBUG_ON
+	help
+	  Enable debugging for the ICC BUS
+
 
 config BOCHS_DEBUG
 	bool "Bochs Debug Console Device"
@@ -264,6 +272,13 @@ config DEBUG_PIT
 	help 
 	  Enable debugging for the PIT	
 
+config FILEDISK
+	bool "FILEDISK storage backend"
+	default y
+	depends on FILE && (IDE || LINUX_VIRTIO_BLOCK)
+	help
+	  Includes the file based disk backend
+
 
 config NETDISK
 	bool "NETDISK storage backend"