Minor configuration fix for large page->large page fix.

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

diff --git a/palacios/src/devices/Kconfig b/palacios/src/devices/Kconfig
index b5e625e..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"
@@ -323,6 +337,18 @@ config TELNET_CONSOLE
        help
          Includes the virtual telnet console 
 
+config CURSES_CONSOLE
+       bool "Curses Virtual Console"
+       default n
+       depends on CGA && !PASSTHROUGH_VIDEO
+       help
+         Includes the virtual curses console 
+
+config SERIAL_UART
+       bool "Serial Port"
+       default y
+       help 
+         Include virtual serial port
 
 endmenu