commit 502fdaafcad741b1f50b514f43e123dc500e383f
author Marc Bonnici <marc.bonnici@arm.com> Mon Jan 10 12:38:23 2022 +0000
committer Olivier Deprez <olivier.deprez@arm.com> Fri May 06 15:58:12 2022 +0200
tree af379c3f2fa6395697ce7508face5ddc3031c6b2
parent fc9ef22deee7cfae45b28ad0af1bfdff80316c2c

feat(coverity/el3_spmc): enable support for EL3 SPMC

Enable building the EL3 SPMC as part of the coverity scan. This
exercises the SPMC_AT_EL3 build flag.

Signed-off-by: Marc Bonnici <marc.bonnici@arm.com>
Change-Id: Ia10697fa902dcd2d657a080e6de562b748d40d6c

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 34ad438..967887d 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -121,6 +121,9 @@
 clean_build $fvp_common_flags SPD=spmd SPMD_SPM_AT_SEL2=1 ARM_ARCH_MINOR=4 \
 	CTX_INCLUDE_EL2_REGS=1 SP_LAYOUT_FILE=dummy
 
+# SPM support with SPM sitting at EL3
+clean_build $fvp_common_flags SPD=spmd SPMD_SPM_AT_SEL2=0 SPMC_AT_EL3=1
+
 #BL2 at EL3 support
 clean_build $fvp_common_flags BL2_AT_EL3=1
 clean_build $fvp_common_flags CROSS_COMPILE=arm-none-eabi- \