RTX5 real time kernel for Arm Cortex-based embedded systems (spin-off from CMSIS_5) - View it on GitHub