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.


minor fix to virtio VNET device to make it compilable
authorLei Xia <lxia@northwestern.edu>
Thu, 27 Oct 2011 17:19:41 +0000 (12:19 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 27 Oct 2011 17:19:41 +0000 (12:19 -0500)
commit0cfc0855d8a1fc9c6982ec2672c2bc4683eb4e2a
tree650e644e5ed544368b1a9854ad705b8f863f9bbf
parentcdabc7716ebea5e44f2e30557cf18a2a80e564c8
minor fix to virtio VNET device to make it compilable
But this device is depreciated, is only used with VNET under Kitten
palacios/src/devices/lnx_virtio_vnet.c