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/group/tf-l1-build-plat/stm32mp2-default:nil b/group/tf-l1-build-plat/stm32mp2-default:nil
new file mode 100644
index 0000000..5515958
--- /dev/null
+++ b/group/tf-l1-build-plat/stm32mp2-default:nil
@@ -0,0 +1,6 @@
+#
+# Copyright (c) 2023 Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
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
diff --git a/tf_config/stm32mp2-default b/tf_config/stm32mp2-default
new file mode 100644
index 0000000..bbb1820
--- /dev/null
+++ b/tf_config/stm32mp2-default
@@ -0,0 +1,8 @@
+ARCH=aarch64
+CROSS_COMPILE=aarch64-none-elf-
+DTB_FILE_NAME=stm32mp257f-ev1.dtb
+PLAT=stm32mp2
+SPD=opteed
+STM32MP_DDR4_TYPE=1
+STM32MP_EMMC=1
+STM32MP_SDMMC=1