feat(ti-k3): add build config for J784S4 SoC

Add build config for TI J784S4 SoCs.

Signed-off-by: Hari Nagalla <hnagalla@ti.com>
Change-Id: Ia4748e75825c11fdcfb6448331301c658688846e
diff --git a/group/tf-l1-build-plat/k3-j784s4-default:nil b/group/tf-l1-build-plat/k3-j784s4-default:nil
new file mode 100644
index 0000000..0849ee7
--- /dev/null
+++ b/group/tf-l1-build-plat/k3-j784s4-default:nil
@@ -0,0 +1,6 @@
+#
+# Copyright (c) 2022 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 76181b9..3156048 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -612,6 +612,7 @@
 
 # Platforms from TI
 make PLAT=k3 $(common_flags) all
+make PLAT=k3 TARGET_BOARD=j784s4 $(common_flags) all
 
 clean_build PLAT=qemu $(common_flags) ${TBB_OPTIONS}
 # Use GICV3 driver
diff --git a/tf_config/k3-j784s4-default b/tf_config/k3-j784s4-default
new file mode 100644
index 0000000..a315bea
--- /dev/null
+++ b/tf_config/k3-j784s4-default
@@ -0,0 +1,3 @@
+CROSS_COMPILE=aarch64-none-elf-
+PLAT=k3
+TARGET_BOARD=j784s4