The text 5f812f886ed8, as Debian 13 (Trixie) shipped it.
get the SCHED_RR interval for the named process
sched_rr_get_interval(2) on Linux now
