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: 94f6771)
removed instrumentation
authorJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 20:55:12 +0000 (15:55 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Mon, 2 May 2011 20:55:12 +0000 (15:55 -0500)
commit02d34f4878597a5772066f1b70836072f2ead230
treea6f014d5fecb03a450724070ee5c9721ec6ebc0btree | snapshot
parent94f67717b6461df514dc225ed84f03b44c44061bcommit | diff
removed instrumentation
palacios/src/palacios/vmm_instrument.c [deleted file] blob | history
Public Palacios Development Repository for the V3VEE Project