The text ea113d5df88b, as Debian 3.0 (Woody) shipped it.
set and get scheduling parameters
sched_setparam(2) on Linux now
