/Core/ShellBinPkg/UefiShell/X64/

• ../
• Shell.efi
• profiles.txt