Re: [SeaBIOS] [PATCH v3] Update EFI_COMPATIBILITY16_TABLE to match 0.98 spec update

[David Woodhouse]

On Tue, 2014-05-20 at 14:22 +0100, David Woodhouse wrote:
> However, this doesn't work if I have both CONFIG_MALLOC_UPPERMEMORY
> *and* CONFIG_EXTRA_STACK enabled.

Hm, this appears to be because rom_get_max() is returning 0xef000,
causing us to ask UEFI to leave only the range 0xef000-0xf0000
writeable. And that doesn't work quite so nicely when we use the extra
stack which in my case is at 0xef520.

Is rom_get_max() not what I should be using for this?