The text 4b79135a79a8, as Debian 7 (Wheezy) shipped it.
set the clock rate for a clock source
clk_set_rate(9) on Linux now