Add v3_cons_sc sanity check for Terminal size

[palacios.git] / Kconfig

diff --git a/Kconfig b/Kconfig
index 9a7f7e7..bcf3ef7 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -13,7 +13,6 @@ config KITTEN
        select BUILT_IN_STRCASECMP
        select BUILT_IN_ATOI
        select ALIGNED_PG_ALLOC
-       select MULTITHREAD_OS
        help
          This enables the necesary options to compile Palacios with Kitten
 
@@ -103,18 +102,21 @@ config V3_DECODER
        help
            This selects the internal V3Vee x86 decoder
 
+config QUIX86
+    bool "QUIX86 decoder"
+    help
+        This selects the QUIX86 decoder library
+
+config QUIX86_DEBUG
+    bool "QUIX86 decoder debug version"
+    help
+        This selects the QUIX86 decoder library compiled w/o optimization
+        and with debug info
 
 endchoice
 
 menu "Supported host OS features"
       
-config MULTITHREAD_OS
-       bool "Host support for  multiple threads"
-       default y
-       help 
-         Select this if your OS supports multiple threads of execution. This will enable features in Palacios 
-         to require the creation of additional execution threads.
-
 
 config ALIGNED_PG_ALLOC
        bool "Host support for aligned page allocations"
@@ -173,8 +175,21 @@ config CHECKPOINT
        bool "Enable Checkpointing"
        default n
        help 
-         Temporary option to enable experimental checkpoint code
+         Enable checkpointing functionality (save/load VMs)
+
+config LIVE_MIGRATION
+       bool "Enable Live Migration"
+       depends on CHECKPOINT
+       default n
+       help
+          Enable live migration functionality (send/receive VMs)
 
+config DEBUG_CHECKPOINT
+       bool "Enable Checkpointing and Live Migration Debugging Output"
+       depends on CHECKPOINT
+       default n
+       help
+         Generate output from the debugging statements in checkpointing and live migration
 
 
 endmenu
@@ -217,38 +232,6 @@ config SHADOW_PAGING_CACHE1
 
 endmenu
 
-
-
-menu "Time Management"
-config VIRTUALIZE_TIME
-       bool "Enable Time virtualization"
-       default n
-       help
-          Enables the timer virtualization extensions
- 
-config TIME_HIDE_VM_COST
-        bool "Hide VMM Run Cost"
-       default n
-       depends on VIRTUALIZE_TIME
-       help
-           Offset guest time from host time sufficiently to hide the cost of
-           running in the virtual machine. This can aid the consistency of
-           time between multiple timers, but can cause the guest to run 
-           a good bit slower than the host in VM-intensive parts of the code.
-
-config TIME_VIRTUALIZE_TSC
-       bool "Fully virtualize guest TSC"
-       default n
-       depends on VIRTUALIZE_TIME
-       help
-           Virtualize the processor time stamp counter in the guest, 
-           generally increasing consistency between various time sources 
-           but also potentially making guest time run slower than real time.
-        
-endmenu
-
-
-
 menu "Symbiotic Functions"
 
 config SYMBIOTIC
@@ -308,8 +291,9 @@ config DEBUG_VNET
 
 endmenu
 
-menu "Debug configuration"
+source "palacios/src/gears/Kconfig"
 
+menu "Debug configuration"
 
 ## Is unwind information useful