eChronos
v3.0.5 The eChronos RTOS is a real-time operating system (RTOS) originally developed by NICTA and Breakaway Consulting Pty. Ltd. It is intended for tightly resource-constrained devices without memory protection.
Features
- It is intended for tightly resource-constrained devices without memory protection. To this end, the RTOS code base is designed to be highly modular and configurable on multiple levels, so that only the minimal amount of code necessary is ever compiled into a given system image.
Related Projects
eChronos on STM32F4x Nucleo Board
A reference implementation and example project demonstrating the eChronos RTOS running on the STM32F4-Nucleo development board. It provides a starting point for developers looking to use formally-verified real-time operating systems on ARM Cortex-M4 hardware.