The text a89b7b2acda9, as Debian 8 (Jessie) shipped it.
set and get scheduling policy/parameters
sched_getscheduler(2) on Linux now
