[PATCH] efi: payload: be explicit about incompatibility with CONFIG_HAVE_OPTEE

barebox PBL expects OP-TEE at the end of the initial memory, which
doesn't make sense for barebox as EFI app as the initial memory is just
16M of freshly allocated EFI memory.

Booting barebox via the EFI stub while OPTEE support is enabled will
thus normally hang. Until the PBL OPTEE code is adapted, refuse this
bogus configuration.

Signed-off-by: Ahmad Fatoum <[email protected]>
---
 efi/Kconfig | 1 +
 1 file changed, 1 insertion(+)

diff --git a/efi/Kconfig b/efi/Kconfig
index 9c559207e95c..b8f118a8812f 100644
--- a/efi/Kconfig
+++ b/efi/Kconfig
@@ -5,6 +5,7 @@ menu "EFI (Extensible Firmware Interface) Support"
 config EFI_PAYLOAD
 	bool "barebox as EFI payload/app (consumer)"
 	depends on HAVE_EFI_PAYLOAD || COMPILE_TEST
+	depends on !HAVE_OPTEE
 	select PBL_FULLY_PIC if ARM64
 	select EFI
 	select EFI_GUID
-- 
2.47.3