The text a1db24182648, as Debian 5.0 (Lenny) shipped it.
set the clock rate for a clock source
clk_set_rate(9) on Linux now
