fix(coverity): re-enable Arm FPGA Coverity build
The spectre-bhb mitigations added quite some code to each CPU type, and
since the ARM FPGA ports includes support for a variety of CPU cores, it
made the image too large to fit into the memory scheme.
Consequently commit 969d9c5db2b7 ("fix(coverity): temporarily exclude Arm
FPGA from Coverity analysis") disabled the build, to get the addition of
the mitigation code unblocked.
While there is no proper solution for this problem yet, creating a
DEBUG=0 build pushes the code below the BL31 limit, so we can bring the
ARM FPGA build back.
This reverts commit 969d9c5db2b7638032c248a82cc95339a0f4fb05.
Change-Id: Id01d743280c87be6a9447f19aa625e84f48609dd
Signed-off-by: Andre Przywara <andre.przywara@arm.com>
diff --git a/script/tf-coverity/coverity_tf_conf.py b/script/tf-coverity/coverity_tf_conf.py
index 0e2e432..3f13bc5 100644
--- a/script/tf-coverity/coverity_tf_conf.py
+++ b/script/tf-coverity/coverity_tf_conf.py
@@ -96,10 +96,6 @@
("drivers/renesas/rzg/qos/G2H/qos_init_g2h_v30.c", "Temporarily excluded"),
("drivers/renesas/rzg/qos/G2N/qos_init_g2n_v10.c", "Temporarily excluded"),
- # Temporarily exclude Arm FPGA platform until build issue related to
- # spectre-bhb mitigation is resolved.
- ("plat/arm/board/arm_fpga/.*", "Temporarily excluded"),
-
# Exclude the following files of imx8mq as this platform is dropped
# from the CI. Put the files of this platform into a silent status.
("plat/imx/imx8m/imx8mq/gpc.c", "Not currently used"),
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 3ee55bf..199d432 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -265,8 +265,8 @@
#
# Arm internal FPGA port
#
-#make PLAT=arm_fpga $(common_flags) \
-# FPGA_PRELOADED_DTB_BASE=0x88000000 PRELOADED_BL33_BASE=0x82080000 all
+make PLAT=arm_fpga $(common_flags release) \
+ FPGA_PRELOADED_DTB_BASE=0x88000000 PRELOADED_BL33_BASE=0x82080000 all
#
# Total Compute platforms