diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 4c20b79..0c2dc9a 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -700,6 +700,7 @@
 
 stm32mp13_common_flags="${stm32mp1_common_flags} \
 			AARCH32_SP=optee \
+			DTB_FILE_NAME=stm32mp135f-dk.dtb \
 			PSA_FWU_SUPPORT=1 \
 			STM32MP13=1"