RPi3 not using SMP?

[bob prohaska]

On Fri, Feb 07, 2020 at 07:10:58PM -0800, Mark Millard wrote:
> > 
> > psci0: <ARM Power State Co-ordination Interface Driver> on ofwbus0
> > psci0: PSCI version number 0 mismatched with DT, default 2
> > device_attach: psci0 attach returned 6
> > 

Is the "DT" in the boot message a reference to the Device Tree (blob)?
If not then my question is on the wrong foot. I meant to wonder if the
problem is simply using a wrong dtb file. 

It does seem clear that one or more things are somewhat amiss.
Are they adequately advertised in existing bug reports, or should
more noises be made? A search for psci on bugs.freebsd.org finds
https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=243118
but to the untrained eye it seems unrelated.

Thanks for reading!

bob prohaska

> 
>