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, 17 Jun 2011 14:53:15 +0000 (09:53 -0500)
committerLei Xia <lxia@northwestern.edu>
Fri, 17 Jun 2011 14:53:15 +0000 (09:53 -0500)
commitbce196f690d7118dd3dd1dbcb1d0868635ff4d8e
tree9a8c43b585c6616d831952f6ca013a44d7dc90ed
parent8e74871ab6663dad2d47cca41361f9ab146405a0
format fix
palacios/src/devices/lnx_virtio_nic.c