[coreboot] SeaBIOS debug output

[Peter Stuge]

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 think the specs are just different.  You can find the specs I'm
> using by google'ing "pnpbiosspecificationv10a.pdf" and
> "specsbbs101.pdf".

--8<-- pnpbiosspecificationv10a.pdf page 12 2.3
scanning the C0000h to EFFFFh address space on 2K boundaries
-->8--

--8<-- pnpbiosspecificationv10a.pdf page 15 2.5 Step 5
from C0000h to EFFFFh on every 2K boundary
-->8--

--8<-- pnpbiosspecificationv10a.pdf page 21 3.4 Step 2
from C0000h to EFFFFh on every 2k boundary
-->8--

--8<-- specsbbs101.pdf page 12 3.3
between system memory addresses C0000h and EFFFFh on a 2k boundary
-->8--

--8<-- specsbbs101.pdf page 12 3.4
between C0000h and EFFFFh on a 2k boundary
-->8--

--8<-- specsbbs101.pdf page 24 6.1.2
All option ROMs must be mapped into system memory between C0000h and
EFFFFh.
-->8--

--8<-- specsbbs101.pdf page 27 6.4.3
A scan for Legacy option ROMs in system memory from C0000h to EFFFFh
on 2k boundaries is performed in the order of lowest to highest.
-->8--

I can not find e0000 anywhere in specsbbs101.pdf.


//Peter