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/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