Linux kernel with implementation of Earliest Deadline First scheduling algorithm