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 obsolete telemetry fn
Jack Lange [Thu, 26 May 2011 18:24:47 +0000 (13:24 -0500)]
palacios/src/palacios/vmm_shadow_paging.c

index 9743073..f57ddda 100644 (file)
@@ -152,9 +152,6 @@ int v3_deinit_shdw_pg_state(struct guest_info * core) {
        return -1;
     }
 
-#ifdef V3_CONFIG_SHADOW_PAGING_TELEMETRY
-    v3_remove_telemetry_cb(core->vm_info, telemetry_cb, NULL);
-#endif
 
     return 0;
 }