Ich habe keine Option für eine UEFI-Shell auf meinem Lenovo U400. Ich starte mit rEFInd ein Triple-Boot von Windows 10, Debian Sid und FreeBSD 13.0-CURRENT (bald kommt auch macOS Mojave dazu). Ich möchte eine Option für die EFI-Shell, aber meine EFI-Schnittstelle (Lenovo 57CN30WW) hat keine integrierte Shell und meine EFI-Partition hat auch keine binäre Shellx64.efi. Ich habe vom EDK II gehört, aber ich habe keine Ahnung, wie man es auf einem Linux-System oder einem Windows-System erstellt. Ich weiß auch nicht genau, wie man es benutzt. Wie bekomme ich eine EFI-Shell auf meinem System zum Laufen, vorzugsweise von Debian aus?