20 Jan
2021
20 Jan
'21
5:18 a.m.
Am 19. Januar 2021 23:51:46 MEZ schrieb Michael Walle michael@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