ShellBinPkg: ARM binaries update based on 15257.
[mirror_edk2.git] / ShellBinPkg / MinUefiShell / Ia32 /
drwxr-xr-x   ..
-rw-r--r-- 320608 Shell.efi
-rw-r--r-- 24 profiles.txt