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.


compile fix
authorLei Xia <lxia@northwestern.edu>
Thu, 28 Apr 2011 04:40:19 +0000 (23:40 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 28 Apr 2011 04:40:19 +0000 (23:40 -0500)
commitafca783e03bd737fe7bb02d498644df30bf5d4d9
tree70addb6e111f4ccc9846a511ee599a7af08f131c
parent999bf1e5f8fdfff9b15fab0d30a958ff59f0c734
compile fix
palacios/src/devices/lnx_virtio_nic.c
palacios/src/devices/nic_bridge.c