The text 35072354efc6, as Debian 7 (Wheezy) shipped it.
set and get scheduling parameters
sched_setparam(2) on Linux now
