What kernel config to use for the RPi 3?
fuz at fuz.su
fuz at fuz.su
Sun Jul 30 08:45:43 UTC 2017
Good evening!
I am running arm64 FreeBSD on my Raspberry Pi 3 using the image [1].
I noticed that powerd(8) doesn't work because the bcm2835_cpufreq(4)
driver is missing. Further sleuthing suggests, that the image has been
built with the default kernel configuration (arm64/conf/GENERIC). I
see that special kernel configuration is provided for the Raspberry
Pi 2 in arm/conf/RPI2, how do I configure a kernel for the RPi 3 that
actually contains all the drivers I need?
Yours,
Robert Clausecker
[1]: http://download.raspbsd.org/FreeBSD-aarch64-12.0-GENERIC-320146M.img.gz
--
() ascii ribbon campaign - for an 8-bit clean world
/\ - against html email - against proprietary attachments
More information about the freebsd-arm
mailing list