Re: [coreboot] SeaBIOS debug output

[Kevin O'Connor]

On Tue, Jul 22, 2008 at 05:13:37AM -0700, Eric W. Biederman wrote:
> The space for options ROMS is 3*64K or 192K 0xc0000 0xd0000 0xe0000 with 0xf0000
> consumed by the BIOS.

Looks like some specs disagree here.  The pnpbios spec says 0xc0000 -
0xf0000 while the bios boot spec says 0xc0000 - 0xe0000.
> Further a well behaved option ROM will trim it's size after initialization
> which allows you to pack in even more.

Well, that certainly complicates things.  I can't think of a good way
to support this.

-Kevin