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.


Apply Zheng's patch on 64bit passthrough pci
authorLei Xia <lxia@northwestern.edu>
Mon, 5 Apr 2010 01:04:00 +0000 (20:04 -0500)
committerLei Xia <lxia@northwestern.edu>
Mon, 5 Apr 2010 01:04:00 +0000 (20:04 -0500)
commit272a6022a8cbe8038b3bacf55f393ccde122ad4b
tree7499ef1c646e2a9671cdc7157e4e40108c55c89b
parentca5fe086b373923b09bf36d75749f46a86ce917b
Apply Zheng's patch on 64bit passthrough pci
palacios/src/devices/pci_passthrough.c