On 21.03.2023 18:58, Julien Grall wrote: > Also, where do you guarantee that Xen will be loaded at a 2MB aligned > address? (For a fact I know that UEFI is only guarantee 4KB alignment).
I don't think this is true. We rely on UEFI honoring larger alignment on x86, and I believe the PE loader code is uniform across architectures. Of course you need to specify large enough alignment in the PE header's SectionAlignment field (right now in the Arm64 binary it's only 4k). Jan
