is a real-time extension of the Linux kernel with a focus on multiprocessor real-time scheduling and synchronization
the Linux kernel is modified to support the sporadic task model, modular scheduler plugins, and reservation-based scheduling
clustered, partitioned, and global schedulers are included, and semi-partitioned scheduling is supported as well

Status Report

Installation Guide