feat(spmc) Add EL3 SPMC files to TF Coverity Scan
Build EL3 SPMC configuration in Coverity Scan
and tf-l1-build-plat.
Signed-off-by: Shruti Gupta <shruti.gupta@arm.com>
Change-Id: I4008093297b0dda9fce5c6e78d92722842df11f8
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index cd6ee58..e9092dc 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -118,6 +118,11 @@
# SPM support with TOS(optee) as SPM sitting at S-EL1
clean_build $fvp_common_flags SPD=spmd SPMD_SPM_AT_SEL2=0
+# SPM support with SPM at EL3 and TSP at S-EL1
+clean_build $fvp_common_flags CTX_INCLUDE_PAUTH_REGS=1 CTX_INCLUDE_EL2_REGS=0 EL3_EXCEPTION_HANDLING=0 \
+ SPD=spmd SPMD_SPM_AT_SEL2=0 SPMC_AT_EL3=1 \
+ ARM_SPMC_MANIFEST_DTS=plat/arm/board/fvp/fdts/fvp_tsp_sp_manifest.dts
+
# SPM support with Secure hafnium as SPM sitting at S-EL2
# SP_LAYOUT_FILE is used only during FIP creation but build won't progress
# if we have NULL value to it, so passing a dummy string.