gerrit-public.fairphone.software / kernel / msm-4.9 / 94a988a8ab91c0cdabd2431281ec09dc52d92674 / Documentation / scheduler / sched-deadline.txt