The text a041f8198450, as Debian 9 (Stretch) shipped it.
set/get scheduling parameters
sched_getparam(2freebsd) on Linux now
