X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=8518fd8698ddaa0da89204783e95bfad87b31008;hb=bcab692b40b809c628eb365c199ffd3c757a6cc7;hp=71f5f9be62b3de0652b362bb2ac98bf615738140;hpb=6774bce4f94af0884dcaf9e13075068e19dd845d;p=palacios.git

diff --git a/Kconfig b/Kconfig
index 71f5f9b..8518fd8 100644
--- 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
 
@@ -76,6 +75,12 @@ config VMX
 	  Compile with support for Intel VMX
 
 
+config FRAME_POINTER
+	bool "Compile with Frame pointers"
+	default n
+	help
+	  Compiles the Palacios library with Frame pointers
+
 config DEBUG_INFO
 	bool "Compile with Debug Information"
 	default n
@@ -102,13 +107,6 @@ 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"
@@ -163,6 +161,14 @@ config EXPERIMENTAL
 	  The purpose of this option is to allow features under development to be committed to the mainline
 	  to more easily track changes and provide access to multiple developers
 
+config CHECKPOINT
+	bool "Enable Checkpointing"
+	default n
+	help 
+	  Temporary option to enable experimental checkpoint code
+
+
+
 endmenu
 
 
@@ -206,16 +212,19 @@ endmenu
 
 
 menu "Time Management"
-config VIRTUALIZE_TIME
-	bool "Enable Time virtualization"
+config TIME_DILATION
+	bool "Control Guest/Host Time Offseting"
 	default n
+	depends on EXPERIMENTAL
 	help
-	   Enables the timer virtualization extensions
- 
+	    Controls the relative speeds of the guest and host processor
+	    to allow the VM to provide the illusion of the guest seeing time
+	    pass at a different rate than the host system does.
+
 config TIME_HIDE_VM_COST
         bool "Hide VMM Run Cost"
 	default n
-	depends on VIRTUALIZE_TIME
+	depends on EXPERIMENTAL 
 	help
 	    Offset guest time from host time sufficiently to hide the cost of
 	    running in the virtual machine. This can aid the consistency of
@@ -225,12 +234,12 @@ config TIME_HIDE_VM_COST
 config TIME_VIRTUALIZE_TSC
 	bool "Fully virtualize guest TSC"
 	default n
-	depends on VIRTUALIZE_TIME
+	depends on EXPERIMENTAL
 	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
 
 
@@ -296,12 +305,6 @@ endmenu
 
 menu "Debug configuration"
 
-config CONFIG_DEBUG_INFO
-	bool "Compile with Debug information"
-	default n
-	help 
-	 This adds the -g flag to the compilation flags
-
 
 ## Is unwind information useful
 
@@ -402,6 +405,13 @@ config DEBUG_DEV_MGR
 	help 
 	  This turns on debugging for the device manager
 
+config DEBUG_MEM_ERRORS
+    bool "Verbose memory errors"
+    default n
+    depends on DEBUG_ON
+    help
+      This turns on debugging for memory translations and lookups
+
 endmenu