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: 7451192)
config fix
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 17 May 2011 15:40:09 +0000 (10:40 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 17 May 2011 15:40:09 +0000 (10:40 -0500)
commit624869c325cc5a8327bfa8a3ae511f76134bac57
tree5949f7f90bfa9800c2de8a066df79287fd614ce2tree | snapshot
parent7451192e943534bd52f3f61dae1d7e9ec4317b30commit | diff
config fix
linux_module/palacios.h diff | blob | history
Public Palacios Development Repository for the V3VEE Project