feat(gicv5): add coverity build with GICv5
Build the gicv5 driver with coverity. As no DTS is provided yet, specify
the gicv3 one so that it builds. This build will never run so it's not
relevant.
Signed-off-by: Boyan Karatotev <boyan.karatotev@arm.com>
Change-Id: I64f05e0c537ceeccf22b037e6d506c3ec94c40bc
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index de518b8..856ec6f 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -221,6 +221,9 @@
# Using GICv4 features with extended PPI and SPI range
clean_build $fvp_common_flags GIC_ENABLE_V4_EXTN=1 GIC_EXT_INTID=1
+# GICv5
+clean_build $fvp_common_flags FVP_USE_GIC_DRIVER=FVP_GICV5 FVP_DT_PREFIX=fvp-base-gicv3-psci
+
# Measured Boot
clean_build $fvp_common_flags ${ARM_TBB_OPTIONS} MBOOT_EL_HASH_ALG=sha256 MEASURED_BOOT=1 USE_ROMLIB=1