Open-Source Real-Time Kernels and Kernel Extensions
- ERIKA Enterprise: an OSEK/VDX compliant real-time kernel
- SHARK: a Real-Time Kernel for PC architectures
- SCHED_DEADLINE for Linux: a Linux scheduling class implementing temporal isolation under Earliest Deadline First (EDF)
- AQUOSA: an open-source project for adaptive Quality of Service into the Linux kernel
- LITMUSRT: A Linux kernel platform for multicore soft real-time scheduling and synchronization research
- Quest: A lightweight, predictable and dependable kernel for multicore processors
