J'ai édité le fichier /boot/config.txt pour augmenter la vitesse du processeur à 800 MHz.
dmesg
comprend la ligne suivante
bcm2835-cpufreq: Freq 800000->700000 (min=700000 max=800000 target=700000 request=700000)
Effectivement, mon processeur ne fonctionne qu'à 700 MHz.
Pourquoi mon Raspberry Pi n'overclocke-t-il pas?
J'utilise Occidentalis 0.2.