gerrit-public.fairphone.software / kernel / msm-4.9 / 0357466d7ec76181e076f98e15bfcf3f88b034aa / Documentation / scheduler / sched-deadline.txt