ccmp1/ccmp2: set default OP-TEE board config for SDK generation

Select the proper OP-TEE board configuration in the optee-os-stm32mp recipe so
trusted applications are built/exported correctly in the SDK. Without this
change, the build may choose a different MACHINE and trigger unexpected
compilation issues.

Signed-off-by: Arturo Buzarra <arturo.buzarra@digi.com>
This commit is contained in:
Arturo Buzarra 2025-12-17 21:52:14 +01:00
parent 8d8d750854
commit 53d6606e69
3 changed files with 6 additions and 0 deletions

View File

@ -69,6 +69,8 @@ OPTEE_DEVICETREE_opteemin = "${STM32MP_DEVICETREE}"
# Supported boot schemes
BOOTSCHEME_LABELS ?= "optee"
BOOTSCHEME_DEFAULT ?= "optee"
# For sdk generation, declare the default board configuration to use.
ST_OPTEE_EXPORT_TA_REF_BOARD:stm32mp1common = "ccmp13-dvk-256MB.dts"
# =========================================================================
# Machine features

View File

@ -78,6 +78,8 @@ OPTEE_DEVICETREE_opteemin = "${STM32MP_DEVICETREE}"
# Supported boot schemes
BOOTSCHEME_LABELS ?= "optee"
BOOTSCHEME_DEFAULT ?= "optee"
# For sdk generation, declare the default board configuration to use.
ST_OPTEE_EXPORT_TA_REF_BOARD:stm32mp1common = "ccmp15-dvk-512MB.dts"
# =========================================================================
# Machine features

View File

@ -70,6 +70,8 @@ FIT_CONF_DEFAULT_DTB = "ccmp25-dvk.dtb"
# =========================================================================
# Map OPTEE configuration to device tree list
OPTEE_DEVICETREE_optee = "${STM32MP_DEVICETREE}"
# For sdk generation, declare the default board configuration to use.
ST_OPTEE_EXPORT_TA_REF_BOARD:stm32mp2common = "ccmp25-dvk.dts"
# =========================================================================
# Machine features