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 64bit pci passthrough patch
authorLei Xia <lxia@northwestern.edu>
Sat, 3 Apr 2010 01:04:11 +0000 (20:04 -0500)
committerLei Xia <lxia@northwestern.edu>
Sat, 3 Apr 2010 01:04:11 +0000 (20:04 -0500)
commitca5fe086b373923b09bf36d75749f46a86ce917b
tree75f152e12362b5552a1e6a9490113af77471a37d
parent966e433fd935e1ad837960e1b245d8506b2cf515
Apply Zheng's 64bit pci passthrough patch
palacios/include/devices/pci.h
palacios/src/devices/pci_passthrough.c