Não tenho opção de shell UEFI no meu Lenovo U400. Estou inicializando três vezes o Windows 10, Debian Sid e FreeBSD 13.0-CURRENT (em breve adicionarei o macOS Mojave a isso) com rEFInd. Quero uma opção para o shell EFI, mas minha interface EFI (Lenovo 57CN30WW) não possui um shell integrado, nem minha partição EFI possui um binário shellx64.efi. Ouvi falar do EDK II, mas não tenho ideia de como construí-lo em um sistema Linux ou Windows. Também não sei exatamente como usá-lo. Como eu colocaria um shell EFI em funcionamento no meu sistema, de preferência no Debian?