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>
Mon, 6 Jun 2011 01:32:49 +0000 (20:32 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 6 Jun 2011 01:32:49 +0000 (20:32 -0500)
commit3265327285cf9896276ddf7fab7cbe0d3060bd10
treecaeec2ddf5ba9d159bdc4acbc2f45a78707a1eff
parente1736715107efcc3afbdd93347bd8a7d86d995b9
format fix
palacios/src/devices/lnx_virtio_nic.c