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
(merge: e05033e d9c9ebf)
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 22:43:25 +0000 (17:43 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Tue, 21 Oct 2008 22:43:25 +0000 (17:43 -0500)
commit3aefb820e651c67fb0654fe1df301c8828dbb35d
treeaf5e5a611265e0a6686d8061b34ce34afe042168tree | snapshot
parente05033e42323e92783e8c93d77c0e4be63761667commit | diff
parentd9c9ebf22b8d633909c7583b64c779b5dc57a80ecommit | diff
Merge branch 'kitten' of ssh://sharedev@localhost/home/sharedev/palacios into kitten

Conflicts:
kitten/init/main.c
kitten/init/main.c diff1 | diff2 | blob | history
Public Palacios Development Repository for the V3VEE Project