[coreboot] ACPI patches for Tyan s2895, s2892, s2891
r.marek at assembler.cz
Tue Mar 10 15:19:37 CET 2009
> I don't think I have any.
Check if some superIO has not irq9 configured.
>> Generally IRQ9 is used as ACPI SCI int.
>> Just pressing the power button generates the IRQ for example. To make it
>> work you need:
>> 1) Set IRQ9 in chipset as ACPI IRQ
> I don't know where I would do this. I'm assuming you mean southbridge
> when you say chipset.
Yes. Maybe it is hardcoded in chip (IRQ9).
9: 1 276 15 99709 IO-APIC-fasteoi acpi
Huh quite big number. Is it from coreboot or legacy BIOS? Maybe some ACPI GP
timer is generating the IRQ9?
More information about the coreboot