diff options
| author | Dongjiu Geng <gengdongjiu1@gmail.com> | 2023-06-16 18:48:57 +0800 |
|---|---|---|
| committer | Manish V Badarkhe <manish.badarkhe@arm.com> | 2023-06-22 10:42:15 +0200 |
| commit | 72819ee049e5f5740cf5b5bb22f0842952c0ed4b (patch) | |
| tree | 61bbb435177ff3fce2c0789c8dbfe1c5de29a8f8 | |
| parent | d52a475c5c0cb53a00d36c6002e2c918c1560344 (diff) | |
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
| -rwxr-xr-x | script/tf-coverity/tf-cov-make | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/script/tf-coverity/tf-cov-make b/script/tf-coverity/tf-cov-make index 923305aa..1a8aa271 100755 --- a/script/tf-coverity/tf-cov-make +++ b/script/tf-coverity/tf-cov-make @@ -655,6 +655,9 @@ clean_build PLAT=qemu $(common_flags) ${TBB_OPTIONS} # 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 \ |