The text 3fd08eadb3e0, as Debian 5.0 (Lenny) shipped it.
set and get scheduling parameters
sched_getparam(2) on Linux now
