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