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.


change lsipi_send api as vnet configable option
authorLei Xia <lxia@northwestern.edu>
Sun, 28 Mar 2010 16:12:54 +0000 (11:12 -0500)
committerLei Xia <lxia@northwestern.edu>
Sun, 28 Mar 2010 16:12:54 +0000 (11:12 -0500)
commitf0ca08d07c5cf265dba71c55cb745883baa7d1f4
treec96138570161e5f18865c7bb9443320f4ddbf12d
parenta04b0778a7f74005560b99255de2c6d2df4d5292
change lsipi_send api as vnet configable option
palacios/include/palacios/vmm.h