x64 « bin « EdkShellBinPkg - edk2-platforms.git - (https://github.com/tianocore/edk2-platforms)

Mode	Name	Size
d---------	Apps	1804	log plain
-rw-r--r--	Shell.efi	494880	log plain
-rw-r--r--	Shell_full.efi	1010976	log plain