build(rdaspen): add build config for rdaspen
Add new build configuration files for RD-Aspen platform.
Change-Id: If9ba743f0b99f556827f6d6e96a5990fc2c371af
Signed-off-by: Ahmed Azeem <ahmed.azeem@arm.com>
Signed-off-by: Debbie Horsfall <Debbie.Horsfall@arm.com>
diff --git a/group/tf-l1-build-plat/rdaspen-default:nil b/group/tf-l1-build-plat/rdaspen-default:nil
new file mode 100644
index 0000000..9e0377a
--- /dev/null
+++ b/group/tf-l1-build-plat/rdaspen-default:nil
@@ -0,0 +1,6 @@
+#
+# Copyright (c) 2025 Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 8a132aa..64ea4e9 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -434,6 +434,18 @@
SPD=spmd \
SPMD_SPM_AT_SEL2=0
+#
+# RD-Aspen platform
+#
+clean_build $(common_flags) \
+ PLAT=rdaspen \
+ ${ARM_TBB_OPTIONS} \
+ GENERATE_COT=1 \
+ COT=tbbr \
+ ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem \
+ bl2 \
+ bl31
+
# Partners' platforms.
# Enable as many features as possible.
# We don't need to clean between each build here because we only do one build
diff --git a/tf_config/rdaspen-default b/tf_config/rdaspen-default
new file mode 100644
index 0000000..536636a
--- /dev/null
+++ b/tf_config/rdaspen-default
@@ -0,0 +1,8 @@
+ARM_GPT_SUPPORT=1
+ARM_ROTPK_LOCATION=devel_rsa
+ARM_ROTPK_LOCATION_ID=ARM_ROTPK_DEVEL_RSA_ID
+COT=tbbr
+GENERATE_COT=1
+PLAT=rdaspen
+ROT_KEY=plat/arm/board/common/rotpk/arm_rotprivk_rsa.pem
+TRUSTED_BOARD_BOOT=1