Skip site navigation (1)Skip section navigation (2)
Date:      Mon, 06 Aug 2018 20:48:28 +0300
From:      Greg V <greg@unrelenting.technology>
To:        freebsd-arm <freebsd-arm@freebsd.org>
Subject:   Rockchip RK3399 (ROCKPro64) boots to multiuser
Message-ID:  <1533577708.4175.0@hraggstad.unrelenting.technology>

next in thread | raw e-mail | index | archive | help
Hi,

I managed to boot FreeBSD on the Rockchip RK3399 SoC (Pine64 ROCKPro64=20
board):

https://gist.github.com/myfreeweb/5f5b9e56f9a0fd1d63a46c34886f5ad1

As with the ROCK64, boot is over the network. To boot, dd ayufan's=20
ubuntu image onto an sdcard and Ctrl-C the linux boot on the kernel=20
selection screen. U-Boot on SPI flash is not available yet.

Unfortunately, performance is very disappointing =97 I think the big=20
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=20
cpufreq_dt work=85
Also my attempt at the clock driver is very incomplete ;)
=




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