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?
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?
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":
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.
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