// setup the basic components of any system
void sys_init(void)
{
sys_clk_init();
sys_interrupt_init();
sys_tick_init();
sys_temp_init();
sys_log_init();
}
/*
* kernel_run
* This function starts the operating system. In normal operation this function
* should never return.
*/
void kernel_run(void)
{
#ifndef SYS_LOG_NONE
/* Initialize system logging. */
sys_log_init();
#endif
/* Initialize system clock. */
system_tick_Init();
/* Get the first task that is needed to run. */
current_task = scheduler_get_next_task();
/* Load/restore task's context. */
RESTORE_CONTEXT_FIRST();
} /* kernel_run */
