RPi3 not using SMP?

[Andreas Tobler]

On 08.02.20 23:13, ag at x86.ch wrote:
>   
> I have:  rpi3b + with:
>    FreeBSD bsdrasp3 13.0-CURRENT FreeBSD 13.0-CURRENT r343104 GENERIC  arm64
> 
>   
> no problem

Sure, r356775 is the last which works, you have r343104.