tc: Add support for TC1 platform
This includes scp-boot-tests, AP boot tests and MISRA checks.
The tc0 platform arguments have also been modified to include
TARGET_PLATFORM.
Change-Id: I6e90add83cb39435ad0487aaa09a0002a3fe33a5
Signed-off-by: Usama Arif <usama.arif@arm.com>
diff --git a/model/tc0-ports.awk b/model/tc-ports.awk
similarity index 79%
rename from model/tc0-ports.awk
rename to model/tc-ports.awk
index dc5eb0f..9689612 100644
--- a/model/tc0-ports.awk
+++ b/model/tc-ports.awk
@@ -1,5 +1,5 @@
#
-# Copyright (c) 2020, Arm Limited. All rights reserved.
+# Copyright (c) 2021, Arm Limited. All rights reserved.
#
# SPDX-License-Identifier: BSD-3-Clause
#
diff --git a/model/tc1.sh b/model/tc1.sh
new file mode 100644
index 0000000..e3deb8c
--- /dev/null
+++ b/model/tc1.sh
@@ -0,0 +1,20 @@
+#!/usr/bin/env bash
+#
+# Copyright (c) 2021, Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
+set_model_path "$warehouse/SysGen/SubSystemModels/11.15/20/models/$model_flavour/FVP_TC1"
+
+cat <<EOF >"$model_param_file"
+${bl1_bin+-C css.trustedBootROMloader.fname=$bl1_bin}
+${scp_romfw_bin+-C css.scp.ROMloader.fname=$scp_romfw_bin}
+${fip_bin+-C board.flashloader0.fname=$fip_bin}
+${initrd_bin+--data board.dram=$initrd_bin@${initrd_addr:?}}
+${kernel_bin+--data board.dram=$kernel_bin@${kernel_addr:?}}
+${uart0_out+-C soc.pl011_uart0.out_file=$uart0_out}
+${uart0_out+-C soc.pl011_uart0.unbuffered_output=1}
+${uart1_out+-C soc.pl011_uart1.out_file=$uart1_out}
+${uart1_out+-C soc.pl011_uart1.unbuffered_output=1}
+EOF