oskit_u32_t (*init)(struct tcb *main_tcb)
This is the Initialization function called from rtker_init(). This function is called before any other function of the scheduler. Typically the initialization code like data structure initialization goes here.
The argument passed is the pointer to the initial main_thread. The main_thread is the first thread in the system.