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.


small fix
authorLei Xia <lxia@northwestern.edu>
Wed, 16 Dec 2009 20:16:30 +0000 (14:16 -0600)
committerLei Xia <lxia@northwestern.edu>
Wed, 16 Dec 2009 20:16:30 +0000 (14:16 -0600)
commitd475d585a594df8ef7b438a08e3fa16ed3dcb0e0
treedc4fd033ff0e9d8c49e8c4414d33a8ca496e18fe
parent9e9d28b5fe29fcf8fbed010c981254b5e25a6eac
small fix
palacios/src/devices/lnx_virtio_nic.c