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