[coreboot] SeaBIOS debug output

[Kevin O'Connor]

Hi Myles,

On Thu, Jul 17, 2008 at 10:40:48AM -0600, Myles Watson wrote:
> I used to be able to make it through the install process with ADLO
> (just rombios.c, not rombios32.c), so maybe something in the PCI code
> is messing me up.

Okay - that's unexpected.  You seem to be having ps2 port issues - and
as far as I know that code is the same between seabios and bochs
bios.

Can you list the exact versions you're working with:

* seabios version
* coreboot version
* adlo/bochs bios version / source repo

I'd like to try and compare the ps2 port code between what works for
you and what doesn't work for you to try and spot any differences.

Note that when CONFIG_COREBOOT is on, the PCI code really isn't
compiled in to seabios.

> I don't know what else to try.  Hopefully you can spot something in the logs.

I don't see anything obvious.  Are you truncating the logs, or do you
have disabled the coreboot serial logging?

-Kevin