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.


Add vnet experimental option to config
authorLei Xia <lxia@northwestern.edu>
Mon, 16 Nov 2009 23:15:04 +0000 (17:15 -0600)
committerLei Xia <lxia@northwestern.edu>
Mon, 16 Nov 2009 23:15:04 +0000 (17:15 -0600)
commit2e5e10d872cf06c2ee634bf8a79c33f612433a34
treed0e755c8ae21571c17f725efd49412ff887535c5
parent3c073d909a9307685307ec597800fad9cca483cc
Add vnet experimental option to config
Kconfig