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.
Fixed handling of the INTAK cycle for both apic and pic
Now the apic will only note an interrupt is in service if
it actually originated it, similar to the pic. I also
added debugging prints to both apic and pic to indicate
when they ignore such INTAK end-of-cycle
INTAK -> begin_irq on interrupt controllers
