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

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 +-
 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 ++++++++++++++++++++++++++++++
 6 files changed, 174 insertions(+), 142 deletions(-)
 create mode 100644 lib/efi_loader/efi_load_options.c

--
2.29.2