coverity: stop ignoring delegated attestation
Delegated attestation code is now getting compiled in BL31 on AEM FVP.
Change-Id: Ib12e37e7ec3d0b8e99bd57f8ae8148e48dc3654d
Signed-off-by: Sandrine Bailleux <sandrine.bailleux@arm.com>
diff --git a/script/tf-coverity/coverity_tf_conf.py b/script/tf-coverity/coverity_tf_conf.py
index 6774fe9..bc326e9 100644
--- a/script/tf-coverity/coverity_tf_conf.py
+++ b/script/tf-coverity/coverity_tf_conf.py
@@ -37,12 +37,6 @@
("drivers/arm/gic/v3/gic600ae_fmu.c", "Not used by any upstream platform"),
("drivers/arm/gic/v3/gic600ae_fmu_helpers.c", "Not used by any upstream platform"),
- # The following files are related to on-going CCA Attestation and Measured
- # boot development. There is no publicly available FVP platform to test
- # these source files right now. Some limited testing is available on the AEM
- # FVP, but these mock some of these interfaces.
- ("lib/psa/delegated_attestation.c", "Not used by any upstream platform"),
-
# The following block is excluding files that are impossible to include in a build due to a missing file
# this should be removed as soon as it would be possible to build stingray platform with SCP_BL2 option
("drivers/brcm/iproc_gpio.c", "Cannot be built due to the missing m0_ipc.h file"),