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.


minor fix on reference of v3_init_vnet
authorLei Xia <lxia@northwestern.edu>
Thu, 4 Nov 2010 14:18:13 +0000 (09:18 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 4 Nov 2010 14:18:13 +0000 (09:18 -0500)
commit901fc56e53aaae4ebd6e9c3f9879afc3288be824
tree0f678a6e3adaadcbc765733eb39a34f6ceeb7092
parent1877b10477f454ca5d271baa43da42b8e4167d9a
minor fix on reference of v3_init_vnet
palacios/src/palacios/vmm.c