[coreboot] how to assign irq to a device

Andrew Goodbody ajg4tadpole at gmail.com
Mon Oct 15 11:02:13 CEST 2012

On 14/10/12 05:12, WANG Siyuan wrote:
> hi, Andrew
> thank you. this issue has been solved by updating the acpi routing

The ACPI routing tables are a description of the underlying hardware 
configuration. If you have not also changed the hardware configuration 
then you may well have an invalid ACPI table now. If interrupts are 
still working with an invalid ACPI table then it probably means the 
device is using MSI(1), so all this worry about interrupt assignments is 
a waste of time.

Also please always reply to the list.


1) http://en.wikipedia.org/wiki/Message_Signaled_Interrupts

More information about the coreboot mailing list