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 ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...
authorLei Xia <lxia@northwestern.edu>
Tue, 1 Dec 2009 05:47:46 +0000 (23:47 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 1 Dec 2009 05:47:46 +0000 (23:47 -0600)
commit3373500a962dba67f09d120d7db3c2ea1d4beee2
tree9073752e7958288380538f8205c297eaeabcb0e1
parentc551bbb4b8097db14632f43acc27b55b054c13a4
parente94e38127240269fb1566eb4a5698ed7716a1656
Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios/palacios into devel
Kconfig
palacios/src/devices/Kconfig
palacios/src/devices/Makefile