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.


Still working on timer updates, heading towards being able to have a CPU
[palacios.git] / Kconfig
diff --git a/Kconfig b/Kconfig
index 9092a67..75c7658 100644 (file)
--- a/Kconfig
+++ b/Kconfig
@@ -218,33 +218,13 @@ endmenu
 
 menu "Time Management"
 
-
 config TIME_VIRTUALIZE_TSC
        bool "Virtualize guest TSC"
        default n
        help
            Virtualize the processor time stamp counter in the guest, 
            generally increasing consistency between various time sources 
-           but also potentially making guest time run slightly slower
-           than real time.
-
-config TIME_VIRTUAL_TSC_CONTROL
-       bool "Adjust virtual TSC towards real time when possible"
-       default y
-       depends on TIME_VIRTUALIZE_TSC
-       help 
-           Enables control of TSC virtualization so that the TSC
-           attempts to catch up with real time when possible
-
-config TIME_MASK_OVERHEAD
-       bool "Hide virtualization overhead from guest timing"
-       default n
-       depends on TIME_VIRTUALIZE_TSC
-       help
-           Try to mask the overhead of virtualization from guests
-           by not including it in the time updates. Can dramatically
-           slow virtual time compared to real time if VIRTUAL_TSC_CONTROL
-           is not enabled.
+           but also potentially making guest time run slower than real time.
 
 endmenu