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.


format fix
authorLei Xia <lxia@northwestern.edu>
Fri, 6 May 2011 01:58:32 +0000 (20:58 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 6 May 2011 01:58:32 +0000 (20:58 -0500)
commit93cce2634cfa81b8f031efa3ef0cbc53f6ead560
tree4f4b60efc6ce547b4060e54f920639f42c6de88b
parent457148fd9d25d45b8048ae558adbc607512b5fbf
format fix
palacios/include/vnet/vnet.h
palacios/include/vnet/vnet_host.h