K 10
svn:author
V 4
neel
K 8
svn:date
V 27
2013-11-11T00:45:17.401125Z
K 7
svn:log
V 308
x86 platforms that use an IOAPIC route the legacy timer interrupt (IRQ0) to
pin 2 of the IOAPIC.

Add an 'Interrupt Source Override' entry to the MADT to describe this
and start asserting interrupts on pin 2 in the 8254 device model.

Submitted by:	Tycho Nightingale (tycho.nightingale@pluribusnetworks.com)

END