The help text wasn't updated after the option was enabled for ARM64,
so adapt it accordingly.
Signed-off-by: Ahmad Fatoum <a.fat...@pengutronix.de>
---
common/Kconfig | 6 +++++-
1 file changed, 5 insertions(+), 1 deletion(-)
diff --git a/common/Kconfig b/common/Kconfig
index 31360892aeef..9bb56b722435 100644
--- a/common/Kconfig
+++ b/common/Kconfig
@@ -1225,7 +1225,11 @@ config PBL_OPTEE
select HAVE_OPTEE
help
Allows starting OP-TEE during lowlevel initialization of the PBL.
- Requires explicit support in the board's lowlevel file.
+ Requires explicit support in the board's lowlevel file (for ARM32)
+ or the generic SoC support (for ARM64).
+
+ The trampoline for jumping back from OP-TEE to barebox does currently
+ not handle THUMB2, so barebox must be built either for A32 or A64.
endmenu
--
2.39.5
