The text cf1c657547e3, as Debian 10 (Buster) shipped it.
set and get scheduling policy/parameters
sched_getscheduler(2) on Linux now
