[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

Re: [edk2] Support for UBI volumes and UBIFS?

software component to expose the UBI volume as a block device to support FAT32. E.g., an FTL. Brian -Original Message- From: Tian, Feng Sent: Wednesday, October 07, 2015 8:03 PM To: Welch, Brian J; edk2-devel@lists.01.org Cc: Tian, Feng Subject: RE: Support for UBI volumes and UBIFS