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 d6c5202..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"
@@ -159,13 +166,13 @@ config DEBUG_VIRTIO_NET
           Enable debugging for the Linux Virtio Network Device
 
 config VNET_NIC
-        bool "Enable VNET NIC Device"
+        bool "Enable VNET VIrtio NIC Device"
         default n
        depends on PCI && EXPERIMENTAL
         help
-          Enable the VNET NIC backend device
+          Enable the VNET Virtio backend device
 
-config VNET_NIC_NET
+config DEBUG_VNET_NIC
         bool "VNET NIC Device Debugging"
         default n
         depends on VNET_NIC && DEBUG_ON
@@ -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