feat(st): add build configs for STM32MP2
Add configuration to build STM32MP2 platform. The default config uses
OP-TEE as SPD, a DDR4, and uses eMMC or SD-card for boot device.
Signed-off-by: Yann Gautier <yann.gautier@st.com>
Change-Id: Id6b3c6fcd09ddfd87d2780c1da55b07ebf52a7ae
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index b588151..87a74c9 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -671,6 +671,16 @@
DECRYPTION_SUPPORT=aes_gcm ENCRYPT_BL32=1 \
BUILD_PLAT=build/stm32mp1-mp13-sdmmc-tbbr-dec/debug bl2
+stm32mp2_common_flags="$(common_flags) \
+ ARCH=aarch64 \
+ CROSS_COMPILE=aarch64-none-elf- \
+ PLAT=stm32mp2"
+
+# STM32MP25 SDMMC boot
+make ${stm32mp2_common_flags} STM32MP_SDMMC=1 \
+ SPD=opteed STM32MP_DDR4_TYPE=1 \
+ BUILD_PLAT=build/stm32mp2-mp25-sdmmc/debug
+
# Platforms from TI
make PLAT=k3 $(common_flags) all
make PLAT=k3 TARGET_BOARD=j784s4 $(common_flags) all