fix(coverity): enable SDEI support for imx8mn builds
Moreover, modify the default config for imx8mn build to enable
SDEI support.
Also, update the exclusion list to include the oem_svc.c file
which is no more used by any upstream platform.
Signed-off-by: Madhukar Pappireddy <madhukar.pappireddy@arm.com>
Change-Id: I59793d81f7aa71a36a3de56ef8f58f25cd7ae4ef
diff --git a/script/tf-coverity/coverity_tf_conf.py b/script/tf-coverity/coverity_tf_conf.py
index 55f1d2e..22107d7 100644
--- a/script/tf-coverity/coverity_tf_conf.py
+++ b/script/tf-coverity/coverity_tf_conf.py
@@ -30,6 +30,7 @@
("plat/arm/common/arm_tzc_dmc500.c", "Only used by deprecated SGM platforms"),
("plat/marvell/armada/a8k/common/plat_bl1_setup.c", "Not used by any upstream marvell platform"),
("plat/mediatek/mt8173/plat_mt_gic.c", "Deprecated code"),
+ ("plat/mediatek/common/custom/oem_svc.c", "Not used by any upstream mediatek platform"),
("plat/nvidia/tegra/common/tegra_gicv3.c", "Not used by any upstream nvidia platform"),
("plat/qemu/common/sp_min/sp_min_setup.c", "Not used in any upstream platform - see GENFW-2164"),
("plat/rockchip/rk3399/drivers/m0/.*", "Work around the lack of support for the M0 compiler in the scripts"),