The text e9df56fc12e7, as Debian 13 (Trixie) shipped it.
set and get scheduling parameters
sched_getparam(2) on Linux now
