The text 0d4f81f60c7a, as Debian 7 (Wheezy) shipped it.
set and get scheduling policy/parameters
sched_setscheduler(2) on Linux now
