big.LITTLE status for rk3399/rockpro64?

[William Carson]

> On Jul 28, 2020, at 10:43 AM, Vincent Milum Jr <freebsd-arm at darkain.com> wrote:
> 
> The downside is that the two big cores are not fully clocking up to their max
> speed, because FreeBSD doesn't have support yet to clock cores or groups of
> cores independently.

Is this true? I'm running r363091 on a RockPro64 with sysutils/powerdxx and it
supports the different frequencies just fine:

# sysctl dev.cpu.{0,1,2,3,4,5}.freq
dev.cpu.0.freq: 1416
dev.cpu.1.freq: 1416
dev.cpu.2.freq: 1416
dev.cpu.3.freq: 1416
dev.cpu.4.freq: 1800
dev.cpu.5.freq: 1800