commit 7ad5d85073fc12d8daa0fae90d6a0d5f4a37e0ae
author Sebastian Bøe <sebastian.boe@nordicsemi.no> Thu Nov 03 13:51:21 2022 +0100
committer David Hu <david.hu@arm.com> Tue Nov 08 04:24:53 2022 +0100
tree bf9bb2345ed3f067e14ea91ffdcbd256745f3fe9
parent 4d249b27b38725846b959c17a1b43f42597576cd

Build: Allow TFM_DUMMY_PROVISIONING for non-PLATFORM_DEFAULT_OTP

Currently you get an invalid configuration when TFM_DUMMY_PROVISIONING
is enabled and PLATFORM_DEFAULT_OTP_WRITEABLE is disabled.

But we wish to use TFM_DUMMY_PROVISIONING when PLATFORM_DEFAULT_OTP is
disabled, and in this configuration it doesn't make sense to have
PLATFORM_DEFAULT_OTP_WRITEABLE enabled.

We could alternatively introduce a TFM_NRF_DUMMY_PROVISIONING, but we
would prefer to not have two configs mean the same thing.

Change-Id: Ib9d46cd0de58942a91b787eb4ba9b99b04354f26
Signed-off-by: Sebastian Bøe <sebastian.boe@nordicsemi.no>

config/check_config.cmake

diff --git a/config/check_config.cmake b/config/check_config.cmake
index 852ead2..3f86fbc 100644
--- a/config/check_config.cmake
+++ b/config/check_config.cmake
@@ -72,7 +72,7 @@
 
 tfm_invalid_config(OTP_NV_COUNTERS_RAM_EMULATION AND NOT (PLATFORM_DEFAULT_OTP OR PLATFORM_DEFAULT_NV_COUNTERS))
 tfm_invalid_config(PLATFORM_DEFAULT_NV_COUNTERS AND  NOT PLATFORM_DEFAULT_OTP_WRITEABLE)
-tfm_invalid_config(TFM_DUMMY_PROVISIONING AND  NOT PLATFORM_DEFAULT_OTP_WRITEABLE)
+tfm_invalid_config(TFM_DUMMY_PROVISIONING AND (PLATFORM_DEFAULT_OTP AND NOT PLATFORM_DEFAULT_OTP_WRITEABLE))
 tfm_invalid_config(TFM_NS_NV_COUNTER_AMOUNT GREATER 3)
 
 ####################### Firmware Update Parttion ###############################