The text 42c2596b5f75, as Debian 8 (Jessie) shipped it.
get the SCHED_RR interval for the named process
sched_rr_get_interval(2) on Linux now
