Minor warning/error prints corrected.

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

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index b04376f..0edc9ff 100644 (file)
--- a/palacios/src/devices/Kconfig
+++ b/palacios/src/devices/Kconfig
@@ -38,6 +38,13 @@ config ICC_BUS
        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 +271,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"