The text 93037afc3cd3, as Debian 8 (Jessie) shipped it.
overview of scheduling APIs
sched(7) on Linux now
