Skip site navigation (1)Skip section navigation (2)
Date:      Sun, 30 Jul 2017 10:45:40 +0200
From:      fuz@fuz.su
To:        freebsd-arm <freebsd-arm@freebsd.org>
Subject:   What kernel config to use for the RPi 3?
Message-ID:  <20170730084540.GA16244@fuz.su>

next in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20170730084540.GA16244>