Call tfm_ns_lock_init() on TFM NSPE boot

Author: Oren Cohen

rtos/TARGET_CORTEX/mbed_rtos_rtx.c

@@ -28,6 +28,9 @@
 #include "spm_init.h"
 #include "spm_api.h"
 #endif
+#if defined(TARGET_TFM) && defined(COMPONENT_NSPE)
+#include "TARGET_TFM/interface/include/tfm_ns_lock.h"
+#endif
 
 #if defined(COMPONENT_NSPE) && defined(COMPONENT_SPM_MAILBOX)
 
@@ -98,9 +101,12 @@ MBED_NORETURN void mbed_rtos_start()
         MBED_ERROR1(MBED_MAKE_ERROR(MBED_MODULE_PLATFORM, MBED_ERROR_CODE_INITIALIZATION_FAILED), "Dispatcher thread not created", &psa_spm_dispatcher_th_attr);
     }
 #endif // defined(COMPONENT_NSPE) && defined(COMPONENT_SPM_MAILBOX)
-
 #endif // defined(TARGET_MBED_SPM)
 
+#if defined(TARGET_TFM) && defined(COMPONENT_NSPE)
+    tfm_ns_lock_init();
+#endif // defined(TARGET_TFM) && defined(COMPONENT_NSPE)
+
     singleton_mutex_id = osMutexNew(&singleton_mutex_attr);
     osThreadId_t result = osThreadNew((osThreadFunc_t)mbed_start, NULL, &_main_thread_attr);
     if ((void *)result == NULL) {