diff options
Diffstat (limited to 'configs/ConfigCoreIPC.cmake')
-rw-r--r-- | configs/ConfigCoreIPC.cmake | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/configs/ConfigCoreIPC.cmake b/configs/ConfigCoreIPC.cmake index 8064664e47..bcee297ca3 100644 --- a/configs/ConfigCoreIPC.cmake +++ b/configs/ConfigCoreIPC.cmake @@ -27,6 +27,8 @@ elseif(${TARGET_PLATFORM} STREQUAL "MUSCA_A") set(PLATFORM_CMAKE_FILE "${TFM_ROOT_DIR}/platform/ext/musca_a.cmake") elseif(${TARGET_PLATFORM} STREQUAL "MUSCA_B1") set(PLATFORM_CMAKE_FILE "${TFM_ROOT_DIR}/platform/ext/musca_b1.cmake") +elseif(${TARGET_PLATFORM} STREQUAL "MUSCA_S1") + set(PLATFORM_CMAKE_FILE "${TFM_ROOT_DIR}/platform/ext/musca_s1.cmake") else() message(FATAL_ERROR "ERROR: Target \"${TARGET_PLATFORM}\" is not supported.") endif() |