Merge pull request #13400 from gbrtth/boot_sequence_fix

Call mbed_tfm_init before mbed_toolchain_init

Author: 0xc0170

cmsis/device/rtos/include/mbed_boot.h

@@ -134,6 +134,8 @@ MBED_NORETURN void mbed_rtos_start(void);
  *
  * Preconditions:
  * - The RTOS has been started by a call to mbed_rtos_start
+ * - If the platform is supported by TF-M, initialization
+ *   has been done by a call to mbed_tfm_init
  */
 void mbed_toolchain_init(void);
 
@@ -160,7 +162,6 @@ void mbed_sdk_init(void);
  *
  * Preconditions:
  * - The RTOS has been started by a call to mbed_rtos_start
- * - The toolchain has been initialized by a call to mbed_toolchain_init
  */
 void mbed_tfm_init(void);
 

cmsis/device/rtos/source/mbed_boot.c

@@ -95,8 +95,8 @@ void mbed_init(void)
 void mbed_start(void)
 {
     mbed_rtos_init_singleton_mutex();
-    mbed_toolchain_init();
     mbed_tfm_init();
+    mbed_toolchain_init();
     mbed_main();
     mbed_error_initialize();
     main();