Knowledge base for the CMRX RTOS. This section is work in progress. The documentation of the CMRX kernel is available on GitHub pages of the project and can be generated from the source tree of the kernel using the Doxygen tool.