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