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