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

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