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

diff --git a/Kconfig b/Kconfig
index 45a0568..06f962b 100644
--- a/Kconfig
+++ b/Kconfig
@@ -225,10 +225,16 @@ 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
@@ -238,6 +244,7 @@ config TIME_HIDE_VM_COST
 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