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

Rudolf Marek r.marek at assembler.cz
Tue Mar 10 15:44:01 CET 2009

> 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?


More information about the coreboot mailing list