ccmp15: enable secure_system_service for CCMP15

This commit enables the full OP-TEE support using the
secure_system_service profile.

https://onedigi.atlassian.net/browse/DEL-9601

Signed-off-by: Mike Engel <Mike.Engel@digi.com>
This commit is contained in:
Mike Engel 2025-07-24 09:57:26 +02:00
parent 1e43441372
commit f0b4d0d02a
2 changed files with 3 additions and 3 deletions

View File

@ -75,8 +75,8 @@ FIT_CONF_DEFAULT_DTB = "ccmp157-dvk.dtb"
OPTEE_DEVICETREE_optee = "${STM32MP_DEVICETREE}"
OPTEE_DEVICETREE_opteemin = "${STM32MP_DEVICETREE}"
# Supported boot schemes
BOOTSCHEME_LABELS ?= "opteemin"
BOOTSCHEME_DEFAULT ?= "opteemin"
BOOTSCHEME_LABELS ?= "optee"
BOOTSCHEME_DEFAULT ?= "optee"
# =========================================================================
# Machine features

View File

@ -107,7 +107,7 @@ do_compile() {
soc_name=""
if [ -n "${STM32MP_SOC_NAME}" ]; then
for soc in ${STM32MP_SOC_NAME}; do
if [ "$(echo ${dt} | grep -c ${soc})" -eq 1 ]; then
if [ "$(echo ${dt} | grep -c ${soc})" -eq 1 ] || [ "$(echo ${dt} | grep -c ${TF_A_SOC_MATCH})" -eq 1 ] ;then
soc_extra_opt="$(echo ${soc} | awk '{print toupper($0)}')=1"
soc_suffix="-${soc}"