The text 4a9a530b1ca4, as Debian 4.0 (Etch) shipped it.
set and get scheduling parameters
sched_setparam(2) on Linux now
