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.


fixes to vnet device
authorJack Lange <jarusl@cs.northwestern.edu>
Sat, 20 Feb 2010 19:03:28 +0000 (13:03 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sat, 20 Feb 2010 19:03:28 +0000 (13:03 -0600)
commit1381b3b1c2b376a246be70e59731006b2d09a0be
tree3526370f7f554746b4a9078103db8c170e83d3fb
parent57659fddee368e08d74c112a36430a7b23b3cf4b
fixes to vnet device
palacios/src/devices/lnx_virtio_vnet.c