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: 1c42d0d)
fixed missed debug macro
authorJack Lange <jacklange@cs.pitt.edu>
Thu, 7 Apr 2011 16:10:58 +0000 (11:10 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Thu, 7 Apr 2011 16:10:58 +0000 (11:10 -0500)
commit5c74af8079462fc7b26ce6deb436ffe49e106137
tree46a367e42366b5c110b0a5549b2264de515209dbtree | snapshot
parent1c42d0dfb8369bde132f048ac6725a710553cc7ccommit | diff
fixed missed debug macro
palacios/src/palacios/vmm_xed.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project