[PATCH v2 2/2] efi_loader: make the UEFI boot manager configurable

[Michael Walle]

Hi,

Am 2021-01-19 18:09, schrieb Heinrich Schuchardt:
> Some boards are very tight on the binary size. Booting via UEFI is 
> possible
> without using the boot manager.
> 
> Provide a configuration option to make the boot manager available.

include/config_distro_bootcmd.h needs to be updated too, no? "bootefi 
bootmgr"
is called unconditionally there.

-michael