FreeRTOS

Cyan microcontrollers are supported by the FreeRTOS third party Real Time Operating System or Kernels.

FreeRTOS a portable, open source, mini Real Time Kernel - a free to download and royalty free RTOS that can be used in commercial applications.

Ports exist for many different processor architectures and development tools. Each official port includes a pre-configured example application demonstrating the kernel features, expediting learning, and permitting 'out of the box' development.

Free support is provided by an active user community.

SafeRTOSTM is a version that has been certified for use in safety critical applications. It is a functionally similar product for which complete IEC 61508 compliant development/safety lifecyle documentation is available (conformance certified by TÜV SÜD, including compiler verification evidence). While FreeRTOS.org does not contain the same safety features as SafeRTOS, there is still commonality, allowing FreeRTOS.org to benefit directly from the very rigorous SafeRTOS testing and validation activities.