RTOS and Middleware

Keil RTX Real-Time Operating System

The Keil RTX is a royalty-free, 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.

http://www.keil.com/rl-arm/kernel.asp

Supported Devices

Use the feedback form to tell us about other RTOS, Kernels, or RTOS/Kernel vendors that should be listed.