[coreboot] SeaBIOS debug output

[Kevin O'Connor]

Hi Peter,

On Wed, Jul 30, 2008 at 12:41:12PM +0200, Peter Stuge wrote:
> On Tue, Jul 29, 2008 at 09:17:45PM -0400, Kevin O'Connor wrote:
> > > > The pnpbios spec says 0xc0000 - 0xf0000 while
> > > > the bios boot spec says 0xc0000 - 0xe0000.
> 
> I can not find e0000 anywhere in specsbbs101.pdf.
> 

You're right.  I must have confused that document with another - or
been just confused in general.

In any case, the specs are clear - 0xe0000-0xf0000 is available for
option roms.

Sorry for the confusion.
-Kevin