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, 18 Aug 2011 03:40:01 +0000 (22:40 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 18 Aug 2011 03:40:01 +0000 (22:40 -0500)
commitcf780b903a02efc700d51dbadcc90115f016256c
tree3bea3247aeda48b9fed9b9cb68e26cea2048f732
parent020108512c01b113a5e8cca88a8facdc5ba5488a
parent0d59908c92e599d6061db7ebba75f2f0d87fef63
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
palacios/include/palacios/vmm_dev_mgr.h