The text 6839d9c5701e, as Debian 6.0 (Squeeze) shipped it.
get the SCHED_RR interval for the named process
sched_rr_get_interval(2) on Linux now
