/ShellBinPkg/UefiShell/Ia32/

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