/* Start the RTOS Kernel with executing the specified thread.  */
osStatus osKernelStart(osThreadDef_t *thread_def, void *argument)
/* Start the RTOS Kernel with executing the specified thread.  */
osStatus osKernelStart(osThreadDef_t *thread_def, void *argument)
{
	osThreadCreate(thread_def, argument);
	rt_system_scheduler_start();
	return osOK;
}