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

2021-01-20 Thread Ilias Apalodimas
On Wed, Jan 20, 2021 at 08:16:55AM +0100, Heinrich Schuchardt wrote: > 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

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

2021-01-19 Thread 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