X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fdevices%2FKconfig;fp=palacios%2Fsrc%2Fdevices%2FKconfig;h=456d71753cc32a5ddc6222e3dcaa227f09269f6b;hb=01d142cec24e5054d8d86e5dba1eff7f5b008c72;hp=8d62f7755eec9ea9270fafb4ecf2f0f0faff2ea2;hpb=8330d6bb32172ba7c50b4e242e0213c8a9e1424e;p=palacios.git

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index 8d62f77..456d717 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 && EXPERIMENTAL
+	depends on EXPERIMENTAL
 	help 
 	  Includes the Virtual APIC device
 
@@ -19,7 +19,7 @@ config DEBUG_APIC
 
 config IO_APIC
 	bool "IOAPIC"
-	depends on ICC_BUS && EXPERIMENTAL
+	depends on EXPERIMENTAL
 	default y
 	help 
 	  Includes the Virtual IO APIC
@@ -32,20 +32,6 @@ config DEBUG_IO_APIC
 	  Enable debugging for the 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"