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 missed file
authorLei Xia <lxia@northwestern.edu>
Sun, 22 May 2011 03:18:10 +0000 (22:18 -0500)
committerLei Xia <lxia@northwestern.edu>
Sun, 22 May 2011 03:18:10 +0000 (22:18 -0500)
commit465411cf0c2fd33177d032faf7a5bb59a6501104
tree7a86ca74c1517e60c8cbf7e0caf5645621482a6f
parent4b11cc9abd662b9099b167c72afafa984b0a5b07
add missed file
linux_module/palacios-vnet-ctrl.c [new file with mode: 0644]