tc: Add support for TC2 platform
This includes scp-boot-tests, AP boot tests and MISRA checks.
Signed-off-by: Rupinderjit Singh <rupinderjit.singh@arm.com>
Change-Id: I65962d77ceb1c034821049e37bb04488278a586e
diff --git a/model/tc2.sh b/model/tc2.sh
new file mode 100644
index 0000000..04bcb66
--- /dev/null
+++ b/model/tc2.sh
@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+#
+# Copyright (c) 2022, Arm Limited. All rights reserved.
+#
+# SPDX-License-Identifier: BSD-3-Clause
+#
+
+set_model_path "$warehouse/SysGen/SubSystemModels/$model_version/$model_build/models/$model_flavour/FVP_TC2"
+
+cat <<EOF >"$model_param_file"
+${bl1_bin+-C css.trustedBootROMloader.fname=$bl1_bin}
+${scp_rom_bin+-C css.scp.ROMloader.fname=$scp_rom_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}
+${rss_rom_file+--data css.rss.cpu=$rss_rom_file@${rss_rom_addr:?}}
+${rss_flash_file+--data css.rss.cpu=$rss_flash_file@${rss_flash_addr:?}}
+EOF