Deadline scheduling in the Linux kernel