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

[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.

v3:
	Adjust distro boot to reflect possible non-support of boot manager
v2:
	Some stuff belonging into the first patch were in the second patch
	Correct copyright notice in lib/efi_loader/efi_load_options.c

Heinrich Schuchardt (2):
  efi_loader: move load options to new module
  efi_loader: make the UEFI boot manager configurable

 cmd/bootefi.c                     |  13 ++-
 cmd/efidebug.c                    |   8 +-
 include/config_distro_bootcmd.h   |  12 ++-
 lib/efi_loader/Kconfig            |   8 ++
 lib/efi_loader/Makefile           |   3 +-
 lib/efi_loader/efi_bootmgr.c      | 135 ---------------------------
 lib/efi_loader/efi_load_options.c | 149 ++++++++++++++++++++++++++++++
 7 files changed, 183 insertions(+), 145 deletions(-)
 create mode 100644 lib/efi_loader/efi_load_options.c

--
2.29.2