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 cleanup
authorJack Lange <jarusl@cs.northwestern.edu>
Sun, 21 Feb 2010 20:22:01 +0000 (14:22 -0600)
committerJack Lange <jarusl@cs.northwestern.edu>
Sun, 21 Feb 2010 20:22:01 +0000 (14:22 -0600)
commite718111ad89c9e81faa544f21c84bd1d73943485
tree4a22fa7a99a8f9812f3107fca41cf1c5c56d95cc
parent1381b3b1c2b376a246be70e59731006b2d09a0be
vnet cleanup
palacios/include/palacios/vmm_dev_mgr.h
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/lnx_virtio_vnet.c
palacios/src/devices/vnet_nic.c
palacios/src/palacios/vmm_vnet.c