The text c2eec2e329d0, as Debian 3.1 (Sarge) shipped it.
get the SCHED_RR interval for the named process
sched_rr_get_interval(2) on Linux now
