Covers parts of CMRX running in the privileged mode. Most of this code is accessible via system calls, while some being triggered by timing provider API or occupying vital system handlers. Kernel is divided into two parts: platform-independent part and part that is ported to support individual platforms.
Documentation of kernel internals is usable if you want to understand how certain features are implemented or if you are porting CMRX to another platform.
void _os_start(uint8_t start_core)This function populates thread table based on thread autostart macro use. It also creates idle thread with priority 255 and starts scheduler. It never returns until you have very bad day.
start_core number of core for which the kernel is started
os_start(core)