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

[Heinrich Schuchardt]

Am 19. Januar 2021 23:51:46 MEZ schrieb Michael Walle <michael at walle.cc>:
>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.

Yes, we can avoid unnecessary output by not calling the unimplemented command.

>
>-michael