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: 5e16adc)
reverted creation ordering
authorJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 17:57:30 +0000 (12:57 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Wed, 8 Jun 2011 17:57:30 +0000 (12:57 -0500)
commitcfa7f55f2b90dcab2f44509d5264e7ec8061cd3f
tree6a6fbe4c43b48c847900237133c3740c2e941fcftree | snapshot
parent5e16adcc49f8c77319004ada0276ccd301c67dd1commit | diff
reverted creation ordering
linux_module/palacios-vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project