commit e09960f740d8268a0d350dde1d4c3841931f54b3
author Yeoreum Yun <yeoreum.yun@arm.com> Wed Jul 30 09:50:39 2025 +0100
committer Govindraj Raja <govindraj.raja@arm.com> Tue Aug 05 14:13:27 2025 +0000
tree 8cb0f7357d3bcf841d50c326d4bc4008b1f6f853
parent 73a28be11f6225d33a21b679f53b69878f7f9ad9

feat(coverity): add SPMC_AT_EL3=1 and MEASURED_BOOT=1 build for juno

Enable building the EL3_SPMC and MEASURED_BOOT as part of the coverity
scan for juno.

This is triggered by the patch series here:
  - https://review.trustedfirmware.org/c/TF-A/trusted-firmware-a/+/39825

Signed-off-by: Yeoreum Yun <yeoreum.yun@arm.com>
Change-Id: Id70dcf245f085b1e6ce85664e842fb1a5c82aa47

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index d2f31b9..59a47a5 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -297,11 +297,11 @@
 # TRNG Service
 clean_build $juno_common_flags TRNG_SUPPORT=1
 
-# SPMC AT EL3 Support
+# SPMC AT EL3 Support with MEASURED_BOOT
 clean_build $juno_common_flags BL32=1 NS_TIMER_SWITCH=1 \
-	CSS_NON_SECURE_UART=1 CSS_USE_SCMI_SDS_DRIVER=1 \
+	CSS_NON_SECURE_UART=1 CSS_USE_SCMI_SDS_DRIVER=1 USE_COHERENT_MEM=0\
 	SPD=spmd  SPMD_SPM_AT_SEL2=0 SPMC_AT_EL3=1 CTX_INCLUDE_EL2_REGS=0 \
-	HOB_LIST=1
+	TRANSFER_LIST=1 HOB_LIST=1 MEASURED_BOOT=1 MBEDTLS_DIR=$(pwd)/mbedtls
 
 #
 # Reference Design Platform RD-N2