This is supported by recent builds of Debian. Use the 'multi-arch' version of
the distribution.
https://www.debian.org/News/2015/20150426
Thanks ... br
---
Brian Richardson -- brian.richard...@intel.com -- Twitter: intel_brian
-Original Message-
From: edk2-devel [mailto:edk2-devel-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?
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
___
edk2-devel mailing list
edk2-devel@lists.01.org
https://lists.01.org/mailman/listinfo/edk2-devel
