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: 9b42eba)
warning fix
authorJack Lange <jacklange@cs.pitt.edu>
Tue, 17 May 2011 15:51:22 +0000 (10:51 -0500)
committerJack Lange <jacklange@cs.pitt.edu>
Tue, 17 May 2011 15:51:22 +0000 (10:51 -0500)
commit22cd1f999322a2bdebe39d6ff56c16639557c308
tree7a1530e09ad74100e944da33e4983433c22a1016tree | snapshot
parent9b42eba2271981b4642c83cb520b68fe15f270fbcommit | diff
warning fix
linux_module/palacios-dev.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project