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.


Vnet code update
authorLei Xia <lxia@northwestern.edu>
Tue, 10 Nov 2009 20:24:19 +0000 (14:24 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 10 Nov 2009 20:24:19 +0000 (14:24 -0600)
commit46db31bad625ca5d360ec78d8ea2accce1faac6a
treeb45c474355876c96f46bd1093bf107e27c5198ee
parent22d401b991e0ca2cfc33612b36bb519cea74d130
Vnet code update
palacios/include/devices/vnet.h