This API provides access to all services of the CMRX RTOS and covers all callbacks CMRX might have into integrators’s code. This API is designed to be cross-platform compatible and from the userspace point of view, it is presented as functions that can be called.
For certain purposes, mainly for customization, CMRX might require integrator to provide some callbacks that CMRX can call. These callbacks are also cross-platform compatible and allow the integrator to customize some basic services such as clock source and power management.
typedef uint8_t Thread_tData type used for thread IDs.
typedef uint8_t Process_tData type used for process IDs.
NULLNULL is not a C name, rather than POSIX one. Introduce it here so we can have a named null pointer rather than a magic constant.