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.


build fixes
authorJack Lange <jarusl@cs.northwestern.edu>
Thu, 30 Jul 2009 17:30:35 +0000 (12:30 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Thu, 30 Jul 2009 17:30:35 +0000 (12:30 -0500)
commitca8c220d24c70ef60564386c085e7c5064d4e744
treedf56ad586a9ff2106ccf97eb0862b723d4b38a4d
parentfd7198bbcdc5240b8f8545741787e51fd69da12a
build fixes
palacios/src/devices/lnx_virtio_blk.c