Lenovo U400에는 UEFI 셸에 대한 옵션이 없습니다. 저는 rEFInd를 사용하여 Windows 10, Debian Sid 및 FreeBSD 13.0-CURRENT(곧 macOS Mojave를 추가할 예정)를 삼중 부팅하고 있습니다. EFI 셸 옵션을 원하지만 EFI 인터페이스(Lenovo 57CN30WW)에 내장 셸이 없고 EFI 파티션에도 shellx64.efi 바이너리가 없습니다. EDK II에 대해 들었지만 Linux 시스템이나 Windows 시스템에서 이를 구축하는 방법을 전혀 모릅니다. 저도 정확히 어떻게 사용하는지는 모르겠습니다. 내 시스템, 바람직하게는 Debian에서 EFI 셸을 어떻게 시작하고 실행합니까?