coverity: config: diphda platform FPGA build
Change-Id: Id85f90bee8519036be92525094c63edfc392313a
Signed-off-by: Abdellatif El Khlifi <abdellatif.elkhlifi@arm.com>
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index ffaa176..ee684cf 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -270,6 +270,25 @@
#
make $(common_flags) PLAT=morello all
+#
+# diphda Platform
+#
+
+make $(common_flags) \
+ PLAT=diphda \
+ SPD=spmd \
+ TARGET_PLATFORM=fpga \
+ ENABLE_STACK_PROTECTOR=strong \
+ ENABLE_PIE=1 \
+ BL2_AT_EL3=1 \
+ SPMD_SPM_AT_SEL2=0 \
+ ${ARM_TBB_OPTIONS} \
+ CREATE_KEYS=1 \
+ COT=tbbr \
+ ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
+ bl2 \
+ bl31
+
# Partners' platforms.
# Enable as many features as possible.
# We don't need to clean between each build here because we only do one build