/ShellBinPkg/MinUefiShell/Ia32/

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