commit 72819ee049e5f5740cf5b5bb22f0842952c0ed4b
author Dongjiu Geng <gengdongjiu1@gmail.com> Fri Jun 16 18:48:57 2023 +0800
committer Manish V Badarkhe <manish.badarkhe@arm.com> Thu Jun 22 10:42:15 2023 +0200
tree 61bbb435177ff3fce2c0789c8dbfe1c5de29a8f8
parent d52a475c5c0cb53a00d36c6002e2c918c1560344

feat(plat/qemu): add sdei support for QEMU

This patch adds a build config for SDEI support to tf-cov-make,
to ensure that the relevant code and files are scanned.

Signed-off-by: Dongjiu Geng <gengdongjiu1@gmail.com>
Change-Id: I203732520708a5489e63d009e16d94c1253b99f8

script/tf-coverity/tf-cov-make

diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make
index 923305a..1a8aa27 100755
--- a/script/tf-coverity/tf-cov-make
+++ b/script/tf-coverity/tf-cov-make
@@ -655,6 +655,9 @@
 # Use GICV3 driver
 clean_build PLAT=qemu $(common_flags) QEMU_USE_GIC_DRIVER=QEMU_GICV3 \
     ENABLE_STACK_PROTECTOR=strong
+# Use GICV3 driver with SDEI support
+clean_build PLAT=qemu $(common_flags) QEMU_USE_GIC_DRIVER=QEMU_GICV3 \
+    ENABLE_STACK_PROTECTOR=strong SDEI_SUPPORT=1 EL3_EXCEPTION_HANDLING=1
 # Use encrypted FIP feature.
 clean_build PLAT=qemu $(common_flags) ${TBB_OPTIONS} \
     BL32_RAM_LOCATION=tdram DECRYPTION_SUPPORT=aes_gcm ENCRYPT_BL31=1 \