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

[Myles Watson]

> -----Original Message-----
> From: [e-mail] [mailto:[e-mail]]
> On Behalf Of Peter Stuge
> Sent: Tuesday, March 10, 2009 4:18 PM
> To: [e-mail]
> Subject: Re: [coreboot] ACPI patches for Tyan s2895, s2892, s2891
>
> 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?

Nvidia ck804.  No docs, but Rudolf pointed out that someone has already
decoded some of the register values:
http://www.coreboot.org/Nvidia_CK804_Porting_Notes

I guess I could continue their work with setpci.  Is there a better way?

Thanks,
Myles