feat(coverity): add SPMC_AT_EL3=1 build for hikey960
Make sure that SPMC_AT_EL3 continues to work on hikey960 platform.
This was triggered by the patch series here:
[1] https://review.trustedfirmware.org/c/TF-A/trusted-firmware-a/+/16283/3
Signed-off-by: Lukas Hanel <lukas.hanel@trustonic.com>
Change-Id: I2088a1d0df2a4bb7a03f9d5f443d21c93af142de
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 4aaed16..0e90bd2 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -644,6 +644,8 @@
# 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
+make PLAT=hikey960 $(common_flags) ${TBB_OPTIONS} SPD=spmd SPMC_AT_EL3=1 \
+ SPMD_SPM_AT_SEL2=0 BL32=optee PLAT_SP_MANIFEST_DTS=foo NEED_FDT=no all
make PLAT=poplar $(common_flags) all
# Platforms from Socionext