Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Removed spurious time configuration options
[palacios.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 0fb4b9a..2c313df 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -219,41 +219,6 @@ config SHADOW_PAGING_CACHE1
 
 endmenu
 
-
-
-menu "Time Management"
-config TIME_DILATION
-       bool "Control Guest/Host Time Offseting"
-       default n
-       depends on EXPERIMENTAL
-       help
-           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 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
-           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 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
-
-
-
 menu "Symbiotic Functions"
 
 config SYMBIOTIC