[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