[coreboot] SeaBIOS debug output
kevin at koconnor.net
Thu Jul 31 03:51:39 CEST 2008
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
Sorry for the confusion.
More information about the coreboot