aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--CMakeLists.txt10
1 files changed, 10 insertions, 0 deletions
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 40882c2d93..6bfafb120c 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -19,6 +19,16 @@ else()
include(platform/ext/target/${TFM_PLATFORM}/preload.cmake)
endif()
+if(TFM_SYSTEM_FP)
+ message(FATAL_ERROR "Hardware FPU is currently not supported in TF-M")
+endif()
+if(TFM_SYSTEM_MVE)
+ message(FATAL_ERROR "Hardware MVE is currently not supported in TF-M")
+endif()
+if(TFM_SYSTEM_DSP)
+ message(FATAL_ERROR "Hardware DSP is currently not supported in TF-M")
+endif()
+
include(config/set_config.cmake)
if(NOT ${CMAKE_GENERATOR} STREQUAL "Unix Makefiles" AND