我的 Lenovo U400 上沒有 UEFI shell 選項。我使用 rEFInd 三次啟動 Windows 10、Debian Sid 和 FreeBSD 13.0-CURRENT（很快就會新增 macOS Mojave）。我想要 EFI shell 的選項，但我的 EFI 介面 (Lenovo 57CN30WW) 沒有內建 shell，我的 EFI 分割區也沒有 shellx64.efi 二進位。我聽說過 EDK II，但我不知道如何在 Linux 系統或 Windows 系統上建置它。我也不知道具體怎麼用。我如何在我的系統上啟動並運行 EFI shell（最好是來自 Debian）？