coverity: Add missing build configurations
Add build configuration for the following platforms:
- Qualcomm sc7180
- QEMU with SPM support
- Mediatek mt8192
- Marvell t9130
Change-Id: Iba5f042fdf5db74e77f5ec0fb26c51c1fb355311
Signed-off-by: Zelalem <zelalem.aweke@arm.com>
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index b857433..bc6fa85 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -306,6 +306,10 @@
make PLAT=mt8173 $(common_flags) all
make PLAT=mt8183 $(common_flags) all
+make PLAT=mt8192 $(common_flags) COREBOOT=1 all
+
+# Platforms from Qualcomm
+make PLAT=sc7180 $(common_flags) COREBOOT=1 all
make PLAT=rk3288 CROSS_COMPILE=arm-none-eabi- \
$(common_flags) ARCH=aarch32 AARCH32_SP=sp_min all
@@ -386,6 +390,8 @@
CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu- all
make PLAT=a80x0_puzzle DEBUG=1 SCP_BL2=/dev/null \
CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu- all
+ make PLAT=t9130 DEBUG=1 SCP_BL2=/dev/null \
+ CROSS_COMPILE=/arm/pdsw/tools/gcc-linaro-6.2.1-2016.11-x86_64_aarch64-linux-gnu/bin/aarch64-linux-gnu- all
# Removing the source files
rm -rf drivers/marvell/mv_ddr 2> /dev/null
@@ -461,6 +467,10 @@
clean_build PLAT=qemu_sbsa $(common_flags)
+# QEMU with SPM support
+clean_build PLAT=qemu_sbsa $(common_flags) BL32=Makefile SPM_MM=1 \
+ EL3_EXCEPTION_HANDLING=1
+
# For hikey enable PMF to include all files in the platform port
make PLAT=hikey $(common_flags) ${TBB_OPTIONS} ENABLE_PMF=1 all
make PLAT=hikey960 $(common_flags) ${TBB_OPTIONS} all