Хм. У меня на двух системах с Aptio работает загрузка bootx64.efi. Причем Aptio больше похожа на референсный TianoCore, чем те же фениксовские ядра.
Да и исполняемый код UEFI shell есть в EDK2 (использовать лучше срез svn репозитория), и компилируется он там элементарно. Хотя там есть и prebuilt binaries тоже. Вот, например edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/X64...
Хм. У меня на двух системах с Aptio работает загрузка bootx64.efi. Причем Aptio больше похожа на референсный TianoCore, чем те же фениксовские ядра.
Да и исполняемый код UEFI shell есть в EDK2 (использовать лучше срез svn репозитория), и компилируется он там элементарно. Хотя там есть и prebuilt binaries тоже. Вот, например edk2.svn.sourceforge.net/svnroot/edk2/trunk/edk2/ShellBinPkg/UefiShell/X64...