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.


Minor cleanup of setup of RDTSC trapping initialization
Patrick G. Bridges [Mon, 2 Apr 2012 19:37:06 +0000 (13:37 -0600)]
palacios/src/palacios/vmm_time.c

index 00e8869..51ac5a7 100644 (file)
@@ -420,7 +420,7 @@ void v3_init_time_core(struct guest_info * info) {
     time_state->vm_enter_host_time = 0;
     time_state->vm_pause_host_time = 0;
 
-    time_state->time_flags = 0; // XXX need to set virtualize TSC flag or not...
+    time_state->time_flags = 0; // XXX need to set trap TSC flag or not wisely
 
     INIT_LIST_HEAD(&(time_state->timers));
     time_state->num_timers = 0;