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.


Deinit code of VNET and VNET-NIC device
authorLei Xia <lxia@northwestern.edu>
Thu, 27 Jan 2011 17:38:20 +0000 (11:38 -0600)
committerLei Xia <lxia@northwestern.edu>
Thu, 27 Jan 2011 17:38:20 +0000 (11:38 -0600)
commit906a0bf4003eb267398462dbc834b0ab85bca13a
tree880f910f7265087886eaae1133f84b71da6c2ab6
parentca431ce4e95b1958eaf8c4b406f618708d9f4f57
Deinit code of VNET and VNET-NIC device
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/nic_bridge.c
palacios/src/devices/vnet_nic.c
palacios/src/palacios/vmm_vnet_core.c