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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: 906a0bf)
Fix to the VNET clean code
authorLei Xia <lxia@northwestern.edu>
Thu, 27 Jan 2011 19:50:03 +0000 (13:50 -0600)
committerLei Xia <lxia@northwestern.edu>
Thu, 27 Jan 2011 19:50:03 +0000 (13:50 -0600)
commitda5c386c3153196bd0aa4610d8ad513d3f7f1bbc
tree2156655d1494f9216d7f7c20e8dc3dd0528879b0tree | snapshot
parent906a0bf4003eb267398462dbc834b0ab85bca13acommit | diff
Fix to the VNET clean code
palacios/src/palacios/vmm_vnet_core.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project