/* This function will initialize idle thread, then start it. */
void rt_thread_idle_init(void)
/* This function will initialize idle thread, then start it. */
void rt_thread_idle_init(void)
{
    rt_thread_init(&idle,
                   "tidle",
                   rt_thread_idle_entry,
                   RT_NULL,
                   &rt_thread_stack[0],
                   sizeof(rt_thread_stack),
                   RT_THREAD_PRIORITY_MAX - 1,
                   32);
    rt_thread_startup(&idle);
}