/* 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 z_has_thread_started(&z_main_thread);
}