/* 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 (rt_thread_self() != RT_NULL) ?  1 : 0;
}