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.


pci passthrough modifications
authorJack Lange <jarusl@cs.northwestern.edu>
Fri, 30 Apr 2010 00:57:07 +0000 (19:57 -0500)
committerJack Lange <jarusl@cs.northwestern.edu>
Fri, 30 Apr 2010 00:57:07 +0000 (19:57 -0500)
commit22f1d78afcf33835e3fa43ea41bb43f80f761a8a
treeb508a3d8c870748c7f6a8f80674885d2ed943f4f
parentd19b2db7746aafcc6cce5374a4537da454919827
pci passthrough modifications
palacios/include/devices/pci.h
palacios/src/devices/pci.c
palacios/src/devices/pci_passthrough.c