[coreboot] using SeaBios on EFI platforms

Scott D. Davilla davilla at 4pi.com
Sat Feb 14 04:27:43 CET 2009

>On Fri, Feb 13, 2009 at 08:57:44PM -0500, Scott D. Davilla wrote:
>>  32bit mode is right where I'm running. In going over the SeaBIOS code, it
>>  looks like I just need to prep a coreboot table, stick it in the correct
>>  place and call post.
>Sounds about right.
>>  This will be fun, of course, no serial port which makes it real 
>>  interesting to debug.
>Hrmm.  If the machine has an ehci port, we could enhance seabios to
>send debug info over the ehci debug port.  (You'd need a special ehci
>debug device, but it may be better than debugging blind.)

It does have an ehci debug port. Maybe I should look into that.

More information about the coreboot mailing list