build(stm32mp1): add scripts for STM32MP13

Add the required files to compile STM32MP13 variant of STM32MP1.

Signed-off-by: Yann Gautier <yann.gautier@st.com>
Change-Id: I5078f6c29d962c1c7090458fd6438380587ee786
diff --git a/group/tf-l1-build-plat/stm32mp1-mp13:nil b/group/tf-l1-build-plat/stm32mp1-mp13:nil
new file mode 100644
index 0000000..0849ee7
--- /dev/null
+++ b/group/tf-l1-build-plat/stm32mp1-mp13:nil
@@ -0,0 +1,6 @@
+#
+# Copyright (c) 2022 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 577c160..357d9d5 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 #
-# Copyright (c) 2019-2021, Arm Limited. All rights reserved.
+# Copyright (c) 2019-2022, Arm Limited. All rights reserved.
 #
 # SPDX-License-Identifier: BSD-3-Clause
 #
@@ -581,6 +581,12 @@
     STM32MP_USE_STM32IMAGE=1 \
     ARCH=aarch32 AARCH32_SP=sp_min ENABLE_STACK_PROTECTOR=strong bl2 bl32
 
+# STM32MP13 SDMMC boot
+make PLAT=stm32mp1 CROSS_COMPILE=arm-none-eabi- \
+    $(common_flags) ARM_ARCH_MAJOR=7 STM32MP_SDMMC=1 \
+    BUILD_PLAT=build/stm32mp1-mp13-sdmmc/debug STM32MP13=1 \
+    ARCH=aarch32 AARCH32_SP=optee ENABLE_STACK_PROTECTOR=strong bl2
+
 # Platforms from TI
 make PLAT=k3 $(common_flags) all
 
diff --git a/tf_config/stm32mp1-mp13 b/tf_config/stm32mp1-mp13
new file mode 100644
index 0000000..489e9a0
--- /dev/null
+++ b/tf_config/stm32mp1-mp13
@@ -0,0 +1,9 @@
+AARCH32_SP=optee
+ARCH=aarch32
+ARM_ARCH_MAJOR=7
+CROSS_COMPILE=arm-none-eabi-
+PLAT=stm32mp1
+STM32MP13=1
+STM32MP_EMMC=1
+STM32MP_SDMMC=1
+DTB_FILE_NAME=stm32mp135f-dk.dtb