build(rpi3): add build configs for rpi3 mboot dtpm
This is needed to support compilation of new source files
for measured boot with Discrete TPM support, includes
tf-a build config for the Measured Boot DTPM PoC.
Change-Id: I85fc16cb56f72ee426f1cb6665751558510e8b7d
Signed-off-by: Abhi Singh <abhi.singh@arm.com>
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 93ea312..c794e94 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -865,6 +865,10 @@
clean_build PLAT=rpi4 $(common_flags) SMC_PCI_SUPPORT=1 all
clean_build PLAT=rpi5 $(common_flags) SMC_PCI_SUPPORT=1 all
+# Raspberry Pi Measured Boot Discrete TPM
+make PLAT=rpi3 $(common_flags) PRELOADED_BL33_BASE=0x200000 MEASURED_BOOT=1
+ DISCRETE_TPM=1 TPM_INTERFACE=FIFO_SPI MBOOT_TPM_HASH_ALG=sha256 all
+
# A113D (AXG) platform.
clean_build PLAT=axg $(common_flags) SPD=opteed
clean_build PLAT=axg $(common_flags) AML_USE_ATOS=1