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

_______________________________________________
edk2-devel mailing list
edk2-devel@lists.01.org
https://lists.01.org/mailman/listinfo/edk2-devel

Reply via email to