Date: Wed, 11 Jan 2017 11:19:27 +0000 From: tech-lists <tech-lists@zyxst.net> To: freebsd-arm@freebsd.org Subject: Re: config.txt on rpi3 and freebsd-12 Message-ID: <e39693bf-7725-8fd3-e84e-c1a9ea57c304@zyxst.net> In-Reply-To: <20170111023110.GA42860@bluezbox.com> References: <b06ba276-82ac-1ec6-4990-934b1a0a17d6@zyxst.net> <20170111023110.GA42860@bluezbox.com>
next in thread | previous in thread | raw e-mail | index | archive | help
On 11/01/2017 02:31, Oleksandr Tymoshenko wrote: > tech-lists (tech-lists@zyxst.net) wrote: >> Hello list, >> >> I'd like to do the following: >> >> [1] clock the speed on my rpi3 / turbo mode. Right now it just used >> powerd. Am I getting turbo with powerd? dmesg suggests not. >> >> [2] use a mpeg4 key which I bought for this board from the rpi site. >> >> I know how to do this in a rpi3 supported linux. My questions are: >> >> [a] does /efi/config.txt have the same functionality on freebsd-12 as it >> does on linux? > > Yes, config.txt is handled by VideoCore firmware, so it's OS-independent > >> [b] Can I expect the mpeg4 key to work? > > On rpi2 it should work, although I have never tried. On rpi3 it's > not going to work because VCHI driver does not work there at the > moment. There are several places in the code that assume size of > pointer is equal to 32 bit with is not true for ARM64. So it will > require some effort to get it right. It's on my TODO list and > there is some progress but I can't provide any certain timeframe. > OK, many thanks for the clarification. -- J.
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?e39693bf-7725-8fd3-e84e-c1a9ea57c304>