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.


Fix the bug for losing interrupts to guest
authorLei Xia <lxia@northwestern.edu>
Thu, 28 Apr 2011 14:48:52 +0000 (09:48 -0500)
committerLei Xia <lxia@northwestern.edu>
Thu, 28 Apr 2011 14:48:52 +0000 (09:48 -0500)
commit38482d86320b405b91ec00db15f1bcaa8031fd3a
treebc6bfb119091343bd9f59375e8e66e1f0d1821b6
parentb7bbef74c3a699b51ca342c35fc8d083389568f6
Fix the bug for losing interrupts to guest
palacios/src/devices/lnx_virtio_nic.c