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>
Mon, 29 Mar 2010 03:21:28 +0000 (22:21 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 29 Mar 2010 03:21:28 +0000 (22:21 -0500)
commit966e433fd935e1ad837960e1b245d8506b2cf515
tree99ffbe777f015b2681cd3a030e46ebd0688d05ca
parent637e4b0b552cf9beff6886a2b0544c4b57eda44f
Minor fix
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/lnx_virtio_vnet.c