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: e705a85)
Silence warnings if CONFIG_V3VEE
authorTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 15:34:12 +0000 (10:34 -0500)
committerTrammell Hudson <thudson@newskysaw.eecs.northwestern.edu>
Wed, 22 Oct 2008 15:34:12 +0000 (10:34 -0500)
commit2e57ef0322ceae58a086e143c6e92224229a40ba
treed2c583a154884968b53c2370465b3c285f3efcb9tree | snapshot
parente705a85054e7427a670af3cc5e9c8149aa55c934commit | diff
Silence warnings if CONFIG_V3VEE
kitten/init/main.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project