diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index ee6bf62..72a48ef 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -794,6 +794,8 @@
 # Platforms from TI
 make PLAT=k3 $(common_flags) all
 make PLAT=k3 TARGET_BOARD=j784s4 $(common_flags) all
+make PLAT=k3 TARGET_BOARD=lite $(common_flags) all
+make PLAT=k3 TARGET_BOARD=generic $(common_flags) all
 
 clean_build PLAT=qemu $(common_flags) ${TBB_OPTIONS}
 # Use GICV3 driver