void os_start(void)
Starts the OS by initializing and enabling the OS time tick and starting the scheduler.
This function does not return.
None
None (does not return).
Once os_start()
has been called, context is switched to the highest priority task that was initialized prior to calling os_start()
.