Kernel module which, for each SCHED_DEADLINE scheduled process, creates a new readable /proc/sched_deadline/[PID], showing tasks' execution information