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: 5426bbb)
build fix
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 17 May 2011 15:43:27 +0000 (10:43 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 17 May 2011 15:43:27 +0000 (10:43 -0500)
commite595e6c854a5414edc0cd8c8b38545e78c19e549
tree2de9bfc8ebb9f890805ed39a233cdb152b34ff59tree | snapshot
parent5426bbb55185628f3eba501d093cf59b220b0ff6commit | diff
build fix
linux_module/palacios-vm.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project