Deadline Task Scheduling — The Linux Kernel documentation
www.kernel.org