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.


Link in palacios
authorKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:39:26 +0000 (15:39 -0500)
committerKevin Pedretti <ktpedre@sandia.gov>
Tue, 21 Oct 2008 20:39:26 +0000 (15:39 -0500)
commit07c81e9a7c58c1b7f4adce4e3db04d5aa65993d6
tree747b46b76916fb6f5f7e19d4d9b609c77b9d9b86
parentbbf6f9c66592ef4c65e8d47ccd9a0eacc0e71c1f
Link in palacios
kitten/Makefile
kitten/init/main.c