efi_loader: make the UEFI boot manager configurable
authorHeinrich Schuchardt <xypron.glpk@gmx.de>
Fri, 15 Jan 2021 18:02:50 +0000 (19:02 +0100)
committerHeinrich Schuchardt <xypron.glpk@gmx.de>
Wed, 20 Jan 2021 07:09:34 +0000 (08:09 +0100)
commitff2f532fadd8f5238cc1ac2ae4ab075703bcc313
treea711e39d420d3251d05520211206d1069b037d2c
parent2363effb7a689de66634ba325e57c2d6fc12f4e9
efi_loader: make the UEFI boot manager configurable

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.

Signed-off-by: Heinrich Schuchardt <xypron.glpk@gmx.de>
cmd/bootefi.c
cmd/efidebug.c
include/config_distro_bootcmd.h
lib/efi_loader/Kconfig
lib/efi_loader/Makefile