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