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
Patrick G. Bridges [Mon, 9 Apr 2012 16:33:38 +0000 (10:33 -0600)]
Kconfig
palacios/src/extensions/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
index e3b83fe..088e571 100644 (file)
@@ -1,24 +1,5 @@
 menu "Extensions"
 
-config EXT_VTIME
-       bool "Enable Time virtualization"
-       default n
-       help
-          Enables the timer virtualization extensions. These hide the cost of 
-          running inside the VMM context.  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 EXT_VTSC
-       bool "Fully virtualize guest TSC"
-       default n
-       depends on EXT_VTIME
-       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.
-        
 config EXT_MTRRS
        bool "Support virtualized MTTRs"
        default n