aboutsummaryrefslogtreecommitdiff
path: root/platform/ext/target/arm/mps3/an547/CMakeLists.txt
diff options
context:
space:
mode:
Diffstat (limited to 'platform/ext/target/arm/mps3/an547/CMakeLists.txt')
-rw-r--r--platform/ext/target/arm/mps3/an547/CMakeLists.txt19
1 files changed, 12 insertions, 7 deletions
diff --git a/platform/ext/target/arm/mps3/an547/CMakeLists.txt b/platform/ext/target/arm/mps3/an547/CMakeLists.txt
index 51e36bed21..52d859d49b 100644
--- a/platform/ext/target/arm/mps3/an547/CMakeLists.txt
+++ b/platform/ext/target/arm/mps3/an547/CMakeLists.txt
@@ -17,10 +17,6 @@ target_include_directories(platform_region_defs
#========================= Platform common defs ===============================#
-if (${CMAKE_C_COMPILER_ID} STREQUAL GNU)
- message(FATAL_ERROR "GCC is currently not supported on the mps3/an547 because TFM build system does not support the Coretex-M55 with GNUARM")
-endif()
-
if (${CMAKE_C_COMPILER_ID} STREQUAL IAR)
message(FATAL_ERROR "IAR is currently not supported on the mps3/an547 due to a lack of scatter files")
endif()
@@ -34,19 +30,21 @@ endif()
# Specify the location of platform specific build dependencies.
target_sources(tfm_s
PRIVATE
- $<$<C_COMPILER_ID:ARMClang>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/startup_an547_s.c>
+ ${CMAKE_CURRENT_SOURCE_DIR}/device/source/startup_an547_s.c
)
target_add_scatter_file(tfm_s
$<$<C_COMPILER_ID:ARMClang>:${CMAKE_SOURCE_DIR}/platform/ext/common/armclang/tfm_common_s.sct>
+ $<$<C_COMPILER_ID:GNU>:${CMAKE_SOURCE_DIR}/platform/ext/common/gcc/tfm_common_s.ld>
)
if(NS)
target_sources(tfm_ns
PRIVATE
- $<$<C_COMPILER_ID:ARMClang>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/startup_an547_ns.c>
+ ${CMAKE_CURRENT_SOURCE_DIR}/device/source/startup_an547_ns.c
)
target_add_scatter_file(tfm_ns
$<$<C_COMPILER_ID:ARMClang>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/armclang/an547_ns.sct>
+ $<$<C_COMPILER_ID:GNU>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/gcc/an547_ns.ld>
)
target_link_libraries(CMSIS_5_tfm_ns
INTERFACE
@@ -57,10 +55,11 @@ endif()
if(BL2)
target_sources(bl2
PRIVATE
- $<$<C_COMPILER_ID:ARMClang>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/startup_an547_bl2.c>
+ ${CMAKE_CURRENT_SOURCE_DIR}/device/source/startup_an547_bl2.c
)
target_add_scatter_file(bl2
$<$<C_COMPILER_ID:ARMClang>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/armclang/an547_bl2.sct>
+ $<$<C_COMPILER_ID:GNU>:${CMAKE_CURRENT_SOURCE_DIR}/device/source/gcc/an547_bl2.ld>
)
endif()
@@ -144,6 +143,12 @@ target_include_directories(platform_ns
services/src
)
+# TODO: For some reason this is needed
+target_link_libraries(platform_ns
+ PRIVATE
+ psa_interface
+)
+
#========================= Platform BL2 =======================================#
if(BL2)