Myles Watson wrote:
> > > Also, when booting Linux, the LED driver does not work with
> > > coreboot for me.
> >
> > The issue is that the driver is using a hard coded base address
> > rather than finding out what is actually programmed into the device,
> > and because coreboot doesn't assign resources exactly like the
> > factory BIOS, the driver can't find the hardware.
>
> Depending on the address, that could be easy to fix.  If it is
> below 0x1000 it is almost trivial.

It's at 6000 something,

and I don't like to. I would much prefer the
driver not make assumptions for no da^Wreason.