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/group/tf-l1-build-plat/rpi3-mboot-dtpm:nil b/group/tf-l1-build-plat/rpi3-mboot-dtpm:nil
new file mode 100644
index 0000000..920af49
--- /dev/null
+++ b/group/tf-l1-build-plat/rpi3-mboot-dtpm:nil
@@ -0,0 +1,5 @@
+#
+# Copyright (c) 2024 Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
\ No newline at end of file
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
diff --git a/tf_config/rpi3-mboot-dtpm b/tf_config/rpi3-mboot-dtpm
new file mode 100644
index 0000000..f4a33af
--- /dev/null
+++ b/tf_config/rpi3-mboot-dtpm
@@ -0,0 +1,7 @@
+PLAT=rpi3
+CROSS_COMPILE=aarch64-none-elf-
+PRELOADED_BL33_BASE=0x200000
+MEASURED_BOOT=1
+DISCRETE_TPM=1
+TPM_INTERFACE=FIFO_SPI
+MBOOT_TPM_HASH_ALG=sha256