Re: [edk2] Boot 64-bit OS from EDK2 compiled for 32-bit?

-boun...@lists.01.org] On Behalf Of Welch, Brian J Sent: Friday, April 22, 2016 11:19 AM To: edk2-devel@lists.01.org Subject: [edk2] Boot 64-bit OS from EDK2 compiled for 32-bit? I'm wondering if it is possible to boot a 64-bit Linux kernel from EDK2 that has been compiled for 32-bit

[edk2] Boot 64-bit OS from EDK2 compiled for 32-bit?

I'm wondering if it is possible to boot a 64-bit Linux kernel from EDK2 that has been compiled for 32-bit? If this is possible are there any caveats (e.g. is it possible to have more than 4GB memory, how does the 64-bit memory map get configured, etc.) ? Brian