Date: Tue, 10 Jan 2017 18:31:10 -0800 From: Oleksandr Tymoshenko <gonzo@bluezbox.com> To: tech-lists <tech-lists@zyxst.net> Cc: freebsd-arm@freebsd.org Subject: Re: config.txt on rpi3 and freebsd-12 Message-ID: <20170111023110.GA42860@bluezbox.com> In-Reply-To: <b06ba276-82ac-1ec6-4990-934b1a0a17d6@zyxst.net> References: <b06ba276-82ac-1ec6-4990-934b1a0a17d6@zyxst.net>
next in thread | previous in thread | raw e-mail | index | archive | help
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. -- gonzo
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20170111023110.GA42860>