Make it a little bit more clear that it is U-Boot that should be built with TEE=/path/to/tee.bin and not OP-TEE itself.
Signed-off-by: Jonas Karlman jonas@kwiboo.se --- v2: - New patch
tools/binman/missing-blob-help | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/tools/binman/missing-blob-help b/tools/binman/missing-blob-help index f013367ac36b..ab0023eb9fb5 100644 --- a/tools/binman/missing-blob-help +++ b/tools/binman/missing-blob-help @@ -43,7 +43,7 @@ for the external TPL binary is https://github.com/rockchip-linux/rkbin.
tee-os: See the documentation for your board. You may need to build Open Portable -Trusted Execution Environment (OP-TEE) with TEE=/path/to/tee.bin +Trusted Execution Environment (OP-TEE) and build with TEE=/path/to/tee.bin
opensbi: See the documentation for your board. The OpenSBI git repo is at