Rockchip RK3399 (ROCKPro64) boots to multiuser

[Greg V]

On Tue, Aug 14, 2018 at 2:01 PM, Ganbold Tsagaankhuu 
<ganbold at gmail.com> wrote:
> Greg,
> 
> On Tue, Aug 7, 2018 at 1:48 AM, Greg V <greg at unrelenting.technology> 
> wrote:
>> Hi,
>> 
>> I managed to boot FreeBSD on the Rockchip RK3399 SoC (Pine64 
>> ROCKPro64 board):
>> 
>> https://gist.github.com/myfreeweb/5f5b9e56f9a0fd1d63a46c34886f5ad1
>> 
>> As with the ROCK64, boot is over the network. To boot, dd ayufan's 
>> ubuntu image onto an sdcard and Ctrl-C the linux boot on the kernel 
>> selection screen. U-Boot on SPI flash is not available yet.
>> 
>> Unfortunately, performance is very disappointing — I think the big 
>> cluster's default frequency is very low.
>> (Everything runs faster if cpuset to the LITTLE cores.)
>> 
>> Looks like we'll need a driver for the "rockchip,rk808" PMIC to make 
>> cpufreq_dt work…
>> Also my attempt at the clock driver is very incomplete ;)
> 
> Can you change the patches according to style(9) for phabricator 
> review (https://reviews.freebsd.org) and send them to me?
> I think full files should be fine too.

My patches are rather incomplete and janky, don't do anything with them.
manu@ got a ROCKPro64 recently 
https://twitter.com/manuvadot/status/1027152057051041793 so you can 
expect proper versions of these "soon" :)

(btw is the style(9) thing about how I put the various clock setting 
structs on one line? :D)