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.


Remove the old vnet header file from include/device
authorLei Xia <lxia@northwestern.edu>
Sun, 10 Oct 2010 04:19:59 +0000 (23:19 -0500)
committerLei Xia <lxia@northwestern.edu>
Sun, 10 Oct 2010 04:19:59 +0000 (23:19 -0500)
commit6f037523d4bf0136d97d1f98ac260bb4031ea278
tree6559743ff06bb485b2c7bb4b152045d69c486cd9
parent759eb7756efd0724a36209bdf2f000d36657d7c7
Remove the old vnet header file from include/device
palacios/include/devices/vnet.h [deleted file]