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?
Rudolf
--
coreboot mailing list: [email protected]
http://www.coreboot.org/mailman/listinfo/coreboot
