diff options
| author | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2021-01-15 19:02:50 +0100 |
|---|---|---|
| committer | Heinrich Schuchardt <xypron.glpk@gmx.de> | 2021-01-20 08:09:34 +0100 |
| commit | ff2f532fadd8f5238cc1ac2ae4ab075703bcc313 (patch) | |
| tree | a711e39d420d3251d05520211206d1069b037d2c /doc/sphinx/kerneldoc.py | |
| parent | 2363effb7a689de66634ba325e57c2d6fc12f4e9 (diff) | |
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>
Diffstat (limited to 'doc/sphinx/kerneldoc.py')
0 files changed, 0 insertions, 0 deletions