boot/uboot: add support for embedded TEE in raw binary format

Some platforms such Texas Instrument’s K3 familly of SoCs requires
TEE in raw binary format to support their boot flow [1].

Add a new option to select tee-raw.bin instead of tee.bin.

[1] https://docs.u-boot.org/en/latest/board/ti/k3.html#building-tispl-bin

Signed-off-by: Romain Naour <romain.naour@smile.fr>
Signed-off-by: Julien Olivain <ju.o@free.fr>
This commit is contained in:
Romain Naour
2026-03-04 22:35:27 +01:00
committed by Julien Olivain
parent a5f5c08dcd
commit d18531b529
2 changed files with 14 additions and 0 deletions

View File

@@ -314,6 +314,18 @@ config BR2_TARGET_UBOOT_NEEDS_OPTEE_TEE_BIN
Binary format must be used for OP-TEE versions since 3.8.0.
config BR2_TARGET_UBOOT_NEEDS_OPTEE_TEE_RAW_BIN
bool "tee-raw.bin"
help
Raw binary suitable to copy into physical memory where OP-TEE
be can executed from.
OP-TEE since 3.21 suggests to use tee-raw.bin instead of (the
still identical) tee-pager_v2.bin.
Texas Instruments K3 family of SoCs embed tee-raw.bin in
U-Boot (using Binman tool) to support their boot flow.
endchoice
config BR2_TARGET_UBOOT_NEEDS_OPENSBI

View File

@@ -204,6 +204,8 @@ ifeq ($(BR2_TARGET_UBOOT_NEEDS_OPTEE_TEE_ELF),y)
UBOOT_MAKE_OPTS += TEE=$(BINARIES_DIR)/tee.elf
else ifeq ($(BR2_TARGET_UBOOT_NEEDS_OPTEE_TEE_BIN),y)
UBOOT_MAKE_OPTS += TEE=$(BINARIES_DIR)/tee.bin
else ifeq ($(BR2_TARGET_UBOOT_NEEDS_OPTEE_TEE_RAW_BIN),y)
UBOOT_MAKE_OPTS += TEE=$(BINARIES_DIR)/tee-raw.bin
endif
endif