/EdkShellBinPkg/FullShell/x64/

• ../
• Shell_full.efi