On Tue, May 7, 2019 at 4:03 AM Yves-Alexis Perez <cor...@debian.org> wrote: > > -----BEGIN PGP SIGNED MESSAGE----- > Hash: SHA256 > > On Thu, 8 Sep 2016 20:28:36 +0200 Julian Andres Klode <j...@debian.org> wrote: > > Source: edk2 > > Severity: wishlist > > > > Having an EFI shell on a real host is quite useful, it would be nice > > to have one packaged so bootloader(s/configuration tools) can install > > them to the ESP(s). > > Hi, > > is there any news on this? I'd be interested as well (in my case because I'm > setting up a repository with scripts to build a bootable EFI key and would > rather add build-dependencies rather than shipping the efi shell binary > inside).
Hi Yves-Alexis, I think it is a reasonable request - happy to consider patches :) -dann