On Tue, Mar 10, 2009 at 7:44 AM, Rudolf Marek <[email protected]> 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 -- coreboot mailing list: [email protected] http://www.coreboot.org/mailman/listinfo/coreboot
