Re: [coreboot] Coreboot patches for v2 with SeaBIOS

[Rudolf Marek]

Hi,
> >   current += acpi_create_madt_irqoverride((acpi_madt_irqoverride_t *)
> >                                           current, 0, 9, 9, 0xF);
>
> This one matches the factory BIOS, but I'll try the other one.

It should be OK to leave it as it is. You dont have another IRQ overrides?
Perhaps there must be some for timer IRQ...
> They are now identical except for the headers and the addresses of the IOAPICs.

hmm this is strange... maybe we can leave there the only irq9 override for now. 
But you will need to put APIC to virtual wire mode maybe.
> Good catch!  I saw that I needed to set the APIC offsets from the
> documentation, but I couldn't see where it belonged.  Thanks.

I updated the wiki page. Check it.

Rudolf