diff options
author | David Hu <david.hu@arm.com> | 2021-03-29 15:14:01 +0800 |
---|---|---|
committer | David Hu <david.hu@arm.com> | 2021-03-29 15:14:01 +0800 |
commit | e056d18c8a6a059dfefe7c01b737cbcfcb10031b (patch) | |
tree | 5f331da1170bde34d5eb26aed53a7fc35ecb5c72 /config | |
parent | 10ee93d8d1446e02d92985efbe10dda0e9d56aff (diff) | |
download | trusted-firmware-m-e056d18c8a6a059dfefe7c01b737cbcfcb10031b.tar.gz |
Build: Add a config check against IPC model and TF-M audit log
TF-M audit log secure service doesn't support IPC model yet. Add a new
check against IPC model and audit log service in check_config.cmake.
If IPC model and audit log service are both enabled, report a build
error and terminate the build.
Change-Id: I7015cc40f1e614e63bc48389471afecbf815b6c3
Signed-off-by: David Hu <david.hu@arm.com>
Diffstat (limited to 'config')
-rw-r--r-- | config/check_config.cmake | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/config/check_config.cmake b/config/check_config.cmake index 6e85f3963b..ced60540d0 100644 --- a/config/check_config.cmake +++ b/config/check_config.cmake @@ -74,3 +74,7 @@ tfm_invalid_config(TFM_PARTITION_FIRMWARE_UPDATE AND NOT MCUBOOT_DATA_SHARING) get_property(TFM_FIH_PROFILE_LIST CACHE TFM_FIH_PROFILE PROPERTY STRINGS) tfm_invalid_config(NOT TFM_FIH_PROFILE IN_LIST TFM_FIH_PROFILE_LIST) + +########################### TF-M audit log ##################################### + +tfm_invalid_config(TFM_PARTITION_AUDIT_LOG AND TFM_PSA_API) |