/* Check if the RTOS kernel is already started.  */
int32_t osKernelRunning(void)
/* Check if the RTOS kernel is already started.  */
int32_t osKernelRunning(void)
{
    return (int32_t)os_running;
  } else {
    return __svcKernelRunning();
  }
}