X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=Kconfig;h=06f962bfba4df237ba028a7ab69cb01d614849c6;hb=f18097c35ddc13572ab41e03ad7a14430cff11ac;hp=dcee752de61901262492756f026a1043f7439ccb;hpb=18713f98a14335b09cb7d87b3bea087255eaf10d;p=palacios.git

diff --git a/Kconfig b/Kconfig
index dcee752..06f962b 100644
--- a/Kconfig
+++ b/Kconfig
@@ -225,15 +225,31 @@ 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 "Virtualize guest 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"