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.


Minor fix
authorLei Xia <lxia@northwestern.edu>
Tue, 5 Jan 2010 01:54:11 +0000 (19:54 -0600)
committerLei Xia <lxia@northwestern.edu>
Tue, 5 Jan 2010 01:54:11 +0000 (19:54 -0600)
commit5d2d71bf1f3105a1fa5085e691eec1fe3306eddc
tree316fba7844e86795f8627c62b88eaf78b8866eba
parent0754a27c2cd44d5acc0bd6ff435350ed4139e13c
Minor fix
palacios/src/devices/lnx_virtio_nic.c