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 interrupt delivery via ioapic
This adds two changes:
1) correct construction of an MP table that contains PCI routing entries
2) PCI interrupt delivery to ioapic pins 16-19 in compliance with
that mptable. PCI interrupts are now delivered both by PIRQ
(if enabled) to the relevant PIC pins, and directly to the
relevant IOAPIC pins
