我的机器上似乎没有 EFI shell，没有通过 BIOS 访问它的选项，而且当我使用它时它从未显示在 rEFInd 中。有什么方法可以安装一个吗？
答案1
EFI Shell 是英特尔开源 UEFI 核心 EDK II 的一部分。您可以shellx64.efi从其 GitHub 下载预编译文件 - 在“发布”下查找 ShellBinPkg.zip：
- EFI Shell v2 二进制文件（官方 EDK2 版本；适用于符合 UEFI v2.3 或更高版本的固件）
- 旧 EFI Shell v1 二进制文件（官方 EDK2 版本）
- Arch Linux 维基文章
- Arch Linux 使用的自定义构建脚本
某些固件提供内置选项来启动 shell，并要求其被命名\ShellX64.efi并位于 EFI 系统分区的根目录中。如果您的固件没有这样的选项，请通过 efibootmgr 添加自定义选项。