Linux kernel with implementation of Earliest Deadline First scheduling algorithm - View it on GitHub