On Tue, Mar 10, 2009 at 7:44 AM, Rudolf Marek r.marek@assembler.cz wrote:
Here's the same line from the factory BIOS:
9: 0 0 0 0
Yes this how it should look like ;)
I wish I knew more about interrupts. I'm surprised how different the routing is for interrupts between the factory BIOS and Coreboot, but I've been assuming they're routed correctly. I've attached /proc/interrupts from the factory BIOS.
Hmm perhaps the chipset is setup differently. Question is from where the IRQ9 comes from. Maybe some ACPI timer, but it is hard to tell. Maybe it is HPET? Can you switch off hpet again?
I did, but the interrupts are still there. When the HPET is on, I get this in my boot log:
hpet0: at MMIO 0xfed00000, IRQs 2, 8, 31 hpet0: 3 32-bit timers, 25000000 Hz
At least no mention of IRQ 9 there.
Thanks, Myles