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.

projects / palacios.git / commit
? search: re
summary | shortlog | log | commit | commitdiff | tree
(parent: cbbdb1c)
PCI Fix: do not let buggy guest turn off I/O bit in an I/O BAR
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 5 Mar 2015 00:40:00 +0000 (18:40 -0600)
committerroot <root@v-test-r415-3.localdomain>
Thu, 5 Mar 2015 00:40:00 +0000 (18:40 -0600)
commitea65d1874b27fd5d8ef5b560c1f4b6eb8c57b40b
treed8cb42d4208daee24e5b898a1d5e1e34da2522fatree | snapshot
parentcbbdb1c69dae70c0d8b836a3d9ff92e2aa67f1f9commit | diff
PCI Fix: do not let buggy guest turn off I/O bit in an I/O BAR

An example of such a "guest" is the fucking SEABIOS
palacios/src/devices/pci.c diff | blob | history
Public Palacios Development Repository for the V3VEE Project