Some fixes

Author: Jan Kamidra

CMakeLists.txt

@@ -282,10 +282,6 @@ if(NOT MBED_IS_NATIVE_BUILD)
     # Disable any requested files from the targets/ directory.
     mbed_apply_mcu_target_file_disables()
 endif()
-
-if(CORTEX_CORE_LABEL STREQUAL "")
-    message(FATAL_ERROR "Could not determine Cortex core type from target labels: ${MBED_TARGET_LABELS}")
-endif()
 
 add_subdirectory(cmsis)
 add_subdirectory(drivers)

cmsis/CMSIS_cmake/cmsis_rtos_rtx.cmake

@@ -35,7 +35,7 @@ endif()
 # (needed for typedefs like mbed_rtos_storage_* used by headers even in bare-metal)
 target_include_directories(mbed-core-flags
     INTERFACE
-    ${CMAKE_CURRENT_LIST_DIR}/../device/rtos/include/RTX/config
+    ${CMAKE_CURRENT_LIST_DIR}/../device/rtos/include/RTX
     ${CMAKE_CURRENT_LIST_DIR}/../CMSIS-RTX/Include
 )
 
@@ -51,6 +51,9 @@ if(APPLICATION_PROFILE_CONFIG_FULL)
     # RTX source files (only compiled when building with RTOS)
     target_sources(mbed-rtos-sources
         INTERFACE
+        ${CMAKE_CURRENT_LIST_DIR}/../device/rtos/source/RTX/mbed_rtos_rtx.c
+        ${CMAKE_CURRENT_LIST_DIR}/../device/rtos/source/RTX/mbed_rtx_handlers.c
+        ${CMAKE_CURRENT_LIST_DIR}/../device/rtos/source/RTX/mbed_rtx_idle.cpp
         # Old CMSIS-RTOS v1 compatibility layer
         ${CMAKE_CURRENT_LIST_DIR}/../device/rtos/source/cmsis_os1.c     
         # Configuration

cmsis/README.md

@@ -1,4 +1,3 @@
-
 # CMSIS Version 6
 
 This directory contains

cmsis/device/rtos/CMakeLists.txt

@@ -19,15 +19,11 @@ endif()
 target_include_directories(mbed-core-flags
     INTERFACE
         include
-        include/RTX
 )
 
 target_sources(mbed-rtos-sources
     INTERFACE
         source/mbed_boot.c
-        source/RTX/mbed_rtos_rtx.c
-        source/RTX/mbed_rtx_handlers.c
-        source/RTX/mbed_rtx_idle.cpp
 )
 
 target_compile_definitions(mbed-rtos-flags

targets/TARGET_ARM_SSG/mbed_rtx.h

@@ -21,6 +21,7 @@
 
 #ifndef __ASSEMBLER__
 #include <stdint.h>
+#endif
 
 #if defined(TARGET_BEETLE)