Market leading real time kernel for 40+ microcontroller architectures
Real-Time Event Frameworks based on active objects & state machines
Scalable, optimized, secure RTOS for multiple hardware architectures
freeRTOS for Arduino Uno, Goldilocks 1284p & Mega 2560
OS bootable from Linux,Windows and others partitions as auxiliary OS
Free real-time operating system designed for microcontrollers
RTOS for Secure, Safe and Real-Time Systems
Real-Time Embedded Operating System
Real time preemptive embedded multi-thread kernel
PRTOS is a simple, compact preemptive RTOS for embedded systems
Small real time operating system for AVR and ARM microcontrollers
Embedded Operating System
A Simple 'IDE'A for Linux Kernel Developers
Embedded Real-Time Operating System (RTOS)
Custom firmware and IDE for the VEX Cortex Microcontroller
Hard Real-Time OS compliant to the Osek/Vdx standard.
A FreeRTOS fork implementing EDF scheduling
Real time microkernel