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/group/tf-l1-build-plat/imx8mn-default:nil b/group/tf-l1-build-plat/imx8mn-sdei:nil
similarity index 100%
rename from group/tf-l1-build-plat/imx8mn-default:nil
rename to group/tf-l1-build-plat/imx8mn-sdei:nil
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"),
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index f55411e..cd4b89e 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -373,7 +373,7 @@
$(common_flags) all
make PLAT=imx8mm $(common_flags) NEED_BL2=yes MEASURED_BOOT=1 \
TPM_HASH_ALG=sha256 ${TBB_OPTIONS} all
-make PLAT=imx8mn $(common_flags) all
+make PLAT=imx8mn $(common_flags) SDEI_SUPPORT=1 all
make PLAT=imx8mp $(common_flags) NEED_BL2=yes ${TBB_OPTIONS} all
# Due to the limited OCRAM space that can be used for TF-A, build test
diff --git a/tf_config/imx8mn-default b/tf_config/imx8mn-sdei
similarity index 74%
rename from tf_config/imx8mn-default
rename to tf_config/imx8mn-sdei
index 66391c6..361316f 100644
--- a/tf_config/imx8mn-default
+++ b/tf_config/imx8mn-sdei
@@ -1,2 +1,3 @@
CROSS_COMPILE=aarch64-none-elf-
PLAT=imx8mn
+SDEI_SUPPORT=1