Build: Tweak the SFN/IPC backend setting
Since by default TF-M is built with level 1 isolation, include SFN
backend config by default.
Signed-off-by: David Hu <david.hu@arm.com>
Change-Id: I415fa9f1ecd5ca2087400152787e6a2ae1624c23
diff --git a/config/check_config.cmake b/config/check_config.cmake
index 541d7f2..05fccc4 100644
--- a/config/check_config.cmake
+++ b/config/check_config.cmake
@@ -29,6 +29,8 @@
tfm_invalid_config(TFM_MULTI_CORE_TOPOLOGY AND TFM_NS_MANAGE_NSID)
tfm_invalid_config(TFM_PLAT_SPECIFIC_MULTI_CORE_COMM AND NOT TFM_MULTI_CORE_TOPOLOGY)
+# Multi-core platform with mailbox partition cannot fully work with SFN backend yet.
+tfm_invalid_config(TFM_PARTITION_NS_AGENT_MAILBOX AND CONFIG_TFM_SPM_BACKEND_SFN)
tfm_invalid_config(TFM_ISOLATION_LEVEL EQUAL 3 AND CONFIG_TFM_STACK_WATERMARKS)