The text 396a5b1fa8a2, as Debian 10 (Buster) shipped it.
set and get scheduling parameters
sched_getparam(2) on Linux now
