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.


Code format clean
authorLei Xia <lxia@northwestern.edu>
Fri, 30 Oct 2009 18:30:59 +0000 (13:30 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 30 Oct 2009 18:30:59 +0000 (13:30 -0500)
commit0fe8e057d19e132f88ab71dce8724b2c5585803a
treeef0c3313ff0fac351f21d04c7ae4f739926853c8
parente67f90ff8dbf5b58cd4930eba8b9907ea6a12d03
Code format clean
palacios/src/devices/vnet.c