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, 19 May 2011 23:49:02 +0000 (18:49 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 19 May 2011 23:49:02 +0000 (18:49 -0500)
commit96e04ca726d8379bfc43bb2e0ce7a142c8e80dc2
treed90a592c51c23fc25fd67b412db3d57fea46fb55
parentf47bc5f7b2fa7169df0c618369224fffb12007b3
parent071d7ba44249f2da33021f10dcb09c2ae0fe20ad
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
linux_module/palacios-dev.c