os_init

void os_init(void)

Initializes the OS. Must be called before the OS is started (i.e. os_start() is called).

Arguments

None

Returned values

None

Notes

The call to os_init performs architecture and bsp initializations and initializes the idle task.

This function does not start the OS, the OS time tick interrupt, or the scheduler.