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/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 5122931..7f42acb 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -260,9 +260,10 @@
FPGA_PRELOADED_DTB_BASE=0x88000000 PRELOADED_BL33_BASE=0x82080000 all
#
-# Total Compute platform
+# Total Compute platforms
#
-make $(common_flags) PLAT=tc0 ${ARM_TBB_OPTIONS} all
+make $(common_flags) PLAT=tc TARGET_PLATFORM=0 ${ARM_TBB_OPTIONS} all
+make $(common_flags) PLAT=tc TARGET_PLATFORM=1 ${ARM_TBB_OPTIONS} all
#
# Morello platform