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>
Wed, 13 Apr 2011 16:15:16 +0000 (11:15 -0500)
committerLei Xia <lxia@northwestern.edu>
Wed, 13 Apr 2011 16:15:16 +0000 (11:15 -0500)
commit16047acf61f82cb4ae33bcb84b221c2098215172
treedae76c40c7f9430151f06a28be10443301bb2cda
parent65286d916b384837567b0da69b4d5a77f190fdc0
parent4aaddb894098d739868ac4d6a5e74a8787578f89
Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel
palacios/include/palacios/vmm_dev_mgr.h