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.


Checked in Vnet code
authorLei Xia <lxia@northwestern.edu>
Tue, 13 Oct 2009 14:52:07 +0000 (09:52 -0500)
committerLei Xia <lxia@northwestern.edu>
Tue, 13 Oct 2009 14:52:07 +0000 (09:52 -0500)
commit5e74982843fd03ffa22b1f9818557087dbd045ce
tree06667a0599c891b9ea2eeaaab2ef43bd90ab029f
parent4290e5f20a4ea5e5f32cb8228ac4d7446dc1021b
Checked in Vnet code
palacios/include/devices/vnet.h
palacios/src/devices/vnet.c