Real-Time Kernels

• SCHED_DEADLINE: An EDF Scheduler for the Linux Kernel
• AQuoSA: Adaptive Quality of Service Architecture
• Erika Enterprise: A small OSEK/VDK Kernel
• ARTE: Arduino Real-Time Extention
• SHaRK: Soft Hard Real-Time Kernel