On Wed, Sep 23, 2009 at 06:03:38AM +0200, Daniel Mack wrote:
Also, when booting Linux, the LED driver does not work with coreboot for me.
Yeah, known issue. The linux kernel driver stupidly assumes that all firmware sets up the GPIOs at the same IO port. The kernel driver should look up the msr and then do the right thing, but it does not.
I think Peter Stuge may have a patch for the LED driver...
Thanks, Ward.