/ShellBinPkg/MinUefiShell/X64/

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