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

[Myles Watson]

> -----Original Message-----
> From: coreboot-bounces at coreboot.org [mailto:coreboot-bounces at coreboot.org]
> On Behalf Of Peter Stuge
> Sent: Tuesday, March 10, 2009 4:18 PM
> To: coreboot at coreboot.org
> 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