On Wed, 2014-05-21 at 09:52 -0400, Kevin O'Connor wrote:
Why is it wrong to declare memory at 0xef000-0xf0000 and have a stack
I found the problem and it was on the UEFI side, not with the SeaBIOS
UEFI was only unlocking the requested 0xef000-0xf0000 region when it
actually issued a Legacy16Boot request. Prior to that, the entire
0xc0000-0x100000 region was remaining locked.
I'll fix my EDK2 patch accordingly.
David Woodhouse Open Source Technology Centre
David.Woodhouse(a)intel.com Intel Corporation