tree 391735767197aeb4b57351a852cf6445fc01364c
parent 27ff7806c1d7d1e98cc6ec1d295595786e13b4b4
author Simon Glass <sjg@chromium.org> 1682300986 +1200
committer Tom Rini <trini@konsulko.com> 1682512984 -0400

bootstd: Support booting EFI where multiple options exist

The current EFI implementation has a strange quirk where it watches
loaded files and uses the last-loaded file to determine the device that
is being booted from.

This is confusing with bootstd, where multiple options may exist. Even
loading a device tree will cause it to go wrong. There is no API for
passing this information, since the only entry into booting an EFI image
is the 'bootefi' command.

To work around this, call efi_set_bootdev() for EFI images, if possible,
just before booting.

Signed-off-by: Simon Glass <sjg@chromium.org>