stm32mp1: set scp-firmware source tree path for optee_os
Sets CFG_SCP_FIRMWARE to scp-firmware source tree path in case
CFG_SCMI_SCPFW is enabled in optee_os stm32mp1 configuration.
Acked-by: Jens Wiklander <jens.wiklander@linaro.org>
Signed-off-by: Etienne Carriere <etienne.carriere@linaro.org>
diff --git a/stm32mp1.mk b/stm32mp1.mk
index 0599cfe..1ac97f1 100644
--- a/stm32mp1.mk
+++ b/stm32mp1.mk
@@ -59,6 +59,7 @@
BINARIES_PATH ?= $(ROOT)/out/bin
TFA_PATH ?= $(ROOT)/trusted-firmware-a
U_BOOT_PATH ?= $(ROOT)/u-boot
+SCPFW_PATH ?= $(ROOT)/scp-firmware
define install_in_binaries
echo " INSTALL $(shell basename $1) to $(BINARIES_PATH)" && \
@@ -80,6 +81,10 @@
################################################################################
# OP-TEE OS
################################################################################
+
+# Provide scp-firmware source tree path in case CFG_SCMI_SERVER is enabled
+OPTEE_OS_COMMON_FLAGS += CFG_SCP_FIRMWARE=$(SCPFW_PATH)
+
optee-os: optee-os-common
@$(call install_in_binaries,$(OPTEE_OS_PATH)/out/arm/core/$(OPTEE_HEADER_BIN))
@$(call install_in_binaries,$(OPTEE_OS_PATH)/out/arm/core/$(OPTEE_PAGER_BIN))