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.


add deinit code for VNET and direct network bridge
authorLei Xia <lxia@northwestern.edu>
Thu, 19 May 2011 23:48:07 +0000 (18:48 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 19 May 2011 23:48:07 +0000 (18:48 -0500)
commitf47bc5f7b2fa7169df0c618369224fffb12007b3
tree85289cbcf6ef30e55bc6bb5f35dc96c7a45c9df4
parente39ac677ad4eb2c2db111ce08eb6172c61f5001f
add deinit code for VNET and direct network bridge
linux_module/palacios-dev.c
linux_module/palacios-packet.h
linux_module/palacios-socket.c
linux_module/palacios-socket.h
linux_module/palacios-vnet-bridge.c
linux_module/palacios-vnet.c
linux_module/palacios-vnet.h
palacios/include/vnet/vnet_host.h
palacios/src/vnet/vnet_host.c