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.


Corrected delivery of PIT interrupts via the IOAPIC
authorPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Nov 2011 16:29:24 +0000 (09:29 -0700)
committerPeter Dinda <pdinda@northwestern.edu>
Thu, 10 Nov 2011 16:29:24 +0000 (09:29 -0700)
commit4dd1b9b1f155688a8196c1bc9f32f74275511718
tree37dc16edfb355a4aa9a2426bc941a01637f51a07
parente9fc46a873dfb004c61cb1f245420e7ebcfad575
Corrected delivery of PIT interrupts via the IOAPIC

This should address the MP-BIOS timer bug
palacios/src/devices/io_apic.c