/EdkShellBinPkg/bin/x64/

• ../
• Apps
• Shell.efi
• Shell_full.efi