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.


Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio...
authorLei Xia <lxia@northwestern.edu>
Thu, 21 Apr 2011 14:41:01 +0000 (09:41 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 21 Apr 2011 14:41:01 +0000 (09:41 -0500)
commitb6d68a6d671dcd403749fcf317482773895b2a0d
tree2b9fb27e43f69c4a4c187bfd07041519c8eeef6d
parenta996f792cb40f3451085f9951dd4462d188c84b8
parent28370c634cc292659d6c97dcf276c0e9fc5ac33c
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel

Conflicts:

palacios/src/devices/nvram.c
palacios/src/devices/Kconfig