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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 6d48586)
fixed telemetry callback function
authorJack Lange <jarusl@cs.northwestern.edu>
Tue, 8 Sep 2009 23:04:02 +0000 (18:04 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Tue, 8 Sep 2009 23:04:02 +0000 (18:04 -0500)
commit5567d84b2bb858aaed18b724a59be2af09674988
treec6a01867b948e36ef89090cd2e074f827c36f47ftree | snapshot
parent6d48586c3d205ca13abc3f4b68063bdba61a9b48commit | diff
fixed telemetry callback function
palacios/src/palacios/vmm_shadow_paging.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project