[coreboot] ACPI patches for Tyan s2895, s2892, s2891

Myles Watson mylesgw at gmail.com
Tue Mar 10 16:09:02 CET 2009

On Tue, Mar 10, 2009 at 7:44 AM, Rudolf Marek <r.marek at 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
> 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.


More information about the coreboot mailing list