Utilities to test SCHED_DEADLINE