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.


Update on VNET
authorLei Xia <lxia@northwestern.edu>
Thu, 25 Mar 2010 22:15:53 +0000 (17:15 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 25 Mar 2010 22:15:53 +0000 (17:15 -0500)
commita04b0778a7f74005560b99255de2c6d2df4d5292
tree49a1e7e74b317b98b9303d7647283c77140acc38
parent58d4d7765572fabb271de92583043b9e42a23738
Update on VNET
Add asychronous IPI for VNET
palacios/include/palacios/vmm.h
palacios/include/palacios/vmm_vnet.h
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/lnx_virtio_symmod.c
palacios/src/devices/lnx_virtio_vnet.c
palacios/src/palacios/vmm_vnet.c
palacios/src/palacios/vmx_handler.c