/EdkShellBinPkg/FullShell/X64/

• ../
• Shell_Full.efi