On 1/22/2024 1:24 PM, Oliver Smith-Denny wrote:
Allocating pool memory will never be 4KB aligned because of the
POOL_HEAD. See:
https://github.com/tianocore/edk2/blob/master/MdeModulePkg/Core/Dxe/Mem/Pool.c#L463-L537.
The allocated page is 4KB aligned, of course, but we store the POOL_HEAD
at
Hi Rebecca,
I do not recall any statements in the EFI Spec that require 4KB
alignment of the UEFI System Table, Boot Services Table,
or Runtime Services Table.
Mike
> -Original Message-
> From: devel@edk2.groups.io On Behalf Of Rebecca
> Cran
> Sent: Monday, January 22, 2024 11:53 AM
On 1/22/2024 11:52 AM, Rebecca Cran wrote:
I've been working on updating the T32 script EfiLoadDxe.cmm in
EmbeddedPkg/Scripts/LauterbachT32 and one of the issues I've run into is
that the EFI_SYSTEM_TABLE - pointed to by `gST` and `gDxeCoreST` - isn't
aligned to 4KB like the script expects.