Digi
/
meta-digi
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

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 6927bb1d4a
commit 90239d6343
3 changed files with 6 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
meta-digi-arm/conf/machine/ccmp13-dvk.conf
View File

@ -69,6 +69,8 @@ OPTEE_DEVICETREE_opteemin = "${STM32MP_DEVICETREE}"
# Supported boot schemes # Supported boot schemes
BOOTSCHEME_LABELS ?= "optee" BOOTSCHEME_LABELS ?= "optee"
BOOTSCHEME_DEFAULT ?= "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 # Machine features

2
meta-digi-arm/conf/machine/ccmp15-dvk.conf
View File

@ -78,6 +78,8 @@ OPTEE_DEVICETREE_opteemin = "${STM32MP_DEVICETREE}"
# Supported boot schemes # Supported boot schemes
BOOTSCHEME_LABELS ?= "optee" BOOTSCHEME_LABELS ?= "optee"
BOOTSCHEME_DEFAULT ?= "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 # Machine features

2
meta-digi-arm/conf/machine/ccmp25-dvk.conf
View File

@ -70,6 +70,8 @@ FIT_CONF_DEFAULT_DTB = "ccmp25-dvk.dtb"
# ========================================================================= # =========================================================================
# Map OPTEE configuration to device tree list # Map OPTEE configuration to device tree list
OPTEE_DEVICETREE_optee = "${STM32MP_DEVICETREE}" 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 # Machine features