The text 7827a872dacb, as Debian 7 (Wheezy) shipped it.
set/get scheduling parameters
sched_getparam(2freebsd) on Linux now
