FreeBSD 11-CURRENT on Raspberry Pi 512MB

[Daisuke Aoyama]

> This code is now up for review at:
> 
> https://reviews.freebsd.org/D1025

There is some comment.

About build error:
It requires the patch of bcm2835_mbox.h in
http://www.peach.ne.jp/archives/rpi/patch/src-r273303-20141026.patch.gz
for build dependency and the patch of bcm2835_mbox.c for run dependency.

Showing boot settings:
The initial values are intended to use for manual tuning via hw.cpufreq.
Especially, using it in the turbo state ON. (force_turbo=1 in config.txt before booting)
This is different from other cpufreq drivers.

Writing core clock twice:
I didn't know a reason. At least, very long delay is not worked.

DELAY:
It is put on various places for safety after set property.
(power consumption may change. don't want change without interval)


Thank you.
-- 
Daisuke Aoyama