The text 8d5ac3b93b6a, as Debian 6.0 (Squeeze) shipped it.
set the clock rate for a clock source
clk_set_rate(9) on Linux now
