1
I don't appear to have an EFI shell on my machine, there's no option to access it through my BIOS and it never shew up in rEFInd when I used it. Is there any way I could install one?
utaker
Posted 2019-11-30T17:52:33.920
Reputation: 43
Lack of EFI shell on machine
Answers
1
The EFI Shell is available as part of EDK II, the open-source UEFI core from Intel. You can download the pre-compiled shellx64.efi file from its GitHub – look for ShellBinPkg.zip under "Releases":
- EFI Shell v2 binaries (official EDK2 build; for firmwares conforming to UEFI v2.3 or later)
- Old EFI Shell v1 binaries (official EDK2 build)
- Arch Linux wiki article
- Custom build script used by Arch Linux
Some firmwares offer a built-in option to launch the shell, expecting it to be named \ShellX64.efi and located in the root of the EFI system partition. If your firmware doesn't have such an option, then add a custom one via efibootmgr.
user1686
Posted 2019-11-30T17:52:33.920
Reputation: 283 655
Is the EFI shell detection case sensitive? – utaker – 2019-11-30T18:43:31.043
No. Operations on FAT32 filesystem are not case-sensitive. – user1686 – 2019-11-30T18:45:24.027
OK, noted, thanks – utaker – 2019-11-30T18:54:44.217
For giving advice, we need to know the computer model and BIOS version. – harrymc – 2019-11-30T18:52:36.883
For the model, that’s Stone Group (OEGStone) BOAMOT-481. Not sure about the BIOS version – utaker – 2019-11-30T19:00:20.650