The text a5eeb4cdb4f8, as Debian 2.1 (Slink) shipped it.
set and get scheduling parameters
sched_setparam(2) on Linux now
