qemu: add configuration with OP-TEE as SPMC
Signed-off-by: Jens Wiklander <jens.wiklander@linaro.org>
Change-Id: I2be5463d002c0f25be80fd5dca53e789b18dceea
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 44574ef..71de8c1 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -557,6 +557,10 @@
clean_build PLAT=qemu $(common_flags) ${TBB_OPTIONS} \
BL32_RAM_LOCATION=tdram DECRYPTION_SUPPORT=aes_gcm ENCRYPT_BL31=1 \
ENCRYPT_BL32=1 FW_ENC_STATUS=0 SPD=opteed
+# QEMU with SPMD support
+clean_build PLAT=qemu $(common_flags) BL32=Makefile \
+ BL32_RAM_LOCATION=tdram ARM_BL31_IN_DRAM=1 \
+ SPD=spmd CTX_INCLUDE_EL2_REGS=0 SPMD_SPM_AT_SEL2=0 SPMC_OPTEE=1
clean_build PLAT=qemu_sbsa $(common_flags)