Myles Watson wrote:
Maybe some ACPI GP timer is generating the IRQ9?
I wish I knew more about interrupts.
Ok. Which chipset is this? Can we have a look at the interrupt router registers - maybe get them into msrtool - to see what is actually configured to IRQ9 with coreboot?
//Peter