Keil RTX

The Keil RTX is a deterministic Real-Time Operating System designed for ARM and Cortex-M devices. It allows you to create programs that simultaneously perform multiple functions and helps to create applications which are better structured and more easily maintained. RTX and its source code is available in all MDK-ARM Editions.