Build: A switch for selecting platform service
Switch 'TFM_PARTITION_PLATFORM' is added for selecting platform
service. Enabled by default and can be overridden by cmake command.
Change-Id: Ic2529b101292b8f81203da4a11815778194806f9
Signed-off-by: Mingyang Sun <mingyang.sun@arm.com>
diff --git a/CommonConfig.cmake b/CommonConfig.cmake
index 4f43cf9..eb37566 100644
--- a/CommonConfig.cmake
+++ b/CommonConfig.cmake
@@ -115,6 +115,7 @@
set (CORE_TEST_IPC OFF)
option(TFM_PARTITION_AUDIT_LOG "Enable the TF-M Audit Log partition" ON)
+option(TFM_PARTITION_PLATFORM "Enable the TF-M Platform partition" ON)
if(${TARGET_PLATFORM} STREQUAL "AN521" OR ${TARGET_PLATFORM} STREQUAL "AN519")
set (REFERENCE_PLATFORM ON)
@@ -197,12 +198,17 @@
if (CORE_IPC)
set(TFM_PARTITION_AUDIT_LOG OFF)
+ set(TFM_PARTITION_PLATFORM OFF)
endif()
if (TFM_PARTITION_AUDIT_LOG)
add_definitions(-DTFM_PARTITION_AUDIT_LOG)
endif()
+if (TFM_PARTITION_PLATFORM)
+ add_definitions(-DTFM_PARTITION_PLATFORM)
+endif()
+
if (TFM_PARTITION_TEST_CORE)
add_definitions(-DTFM_PARTITION_TEST_CORE)
endif()