tree 3b1b549411c900797e456a63ff36586b0f077ec8
parent 14d67b351555c4ddfe0ad6ed031d09298c6a7e96
author Sean Rhodes <sean@starlabs.systems> 1644395407 +0000
committer Felix Held <felix-coreboot@felixheld.de> 1645662554 +0000

payloads/tianocore: Add option to include EFI Shell

Add TIANOCORE_HAVE_EFI_SHELL, which when enabled, will build edk2
with the EFI Shell binary.

Signed-off-by: Sean Rhodes <sean@starlabs.systems>
Change-Id: I1272f514e3f5becfe1fddd58ca0d820c5d1c1b54
Reviewed-on: https://review.coreboot.org/c/coreboot/+/61759
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Stefan Reinauer <stefan.reinauer@coreboot.org>