Raspberry Pi Clock Frequency

[Bakul Shah]

On Sun, 02 Mar 2014 21:53:04 PST Adrian Chadd <adrian at freebsd.org> wrote:
> I believe it's something that is done in the bootloader config, not by
> Linux itself.

You can set freq in config.txt as

arm_freq=<freq>

> On 2 March 2014 20:05, Ian Lepore <ian at freebsd.org> wrote:
> >
> > If there's a way to change the cpu frequency, it's not in the scanty
> > little doc I've got about that processor.  If it can be done, the how-to
> > can probably be found in the linux source, but I don't have time to work
> > on it.

See https://github.com/raspberrypi/firmware/wiki/Mailbox-property-interface