Ho modificato il file /boot/config.txt per aumentare la velocità della CPU a 800 MHz.
dmesg
include la seguente riga
bcm2835-cpufreq: Freq 800000->700000 (min=700000 max=800000 target=700000 request=700000)
Abbastanza sicuro, la mia CPU funziona solo a 700 MHz.
Perché il mio Raspberry Pi non esegue l'overclocking?
Sto eseguendo Occidentalis 0.2.