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