I'm setting up a Puppet instance that will manage a bunch of RPis. This means I cannot overclock them one by one using raspi-config.
Overclocking should be as simple as creating /boot/config.txt:
root@rpi-032113 ~ # file /boot/config.txt /boot/config.txt: ASCII text root@rpi-032113 ~ # cat /boot/config.txt gpu_mem=32 arm_freq=950 core_freq=250 sdram_freq=450 over_voltage=6
However, whenever I reboot and stress test it stays at 700MHz:
root@rpi-032113 ~ # nice yes >/dev/null &  3238 root@rpi-032113 ~ # cat /sys/devices/system/cpu/cpu0/cpufreq/scaling_cur_freq 700000 root@rpi-032113 ~ # /opt/vc/bin/vcgencmd get_config int arm_freq=950 core_freq=250 sdram_freq=450 over_voltage=6 temp_limit=85 force_pwm_open=1
It clearly stays at 700MHz (also after waiting another 15 extra seconds), while it should be at 950MHz.
What am I missing? Is there a sticky bit that has to be set in the CPU before this will work?