Created attachment 215265 [details]
FreeBSD is running fine on a Raspberry PI 4B, but it doesn't correctly recognized the memory of the board. I am currently running a PI 4B with 4 GB installed on a -CURRENT snapshot from the 4th of June 2020, but only 1 GB memory is shown by top.
Another problem is that FreeBSD isn't displaying the installed memory during boot like on amd64 and other architectures.
A dmesg is attach to this PR.
Since r363162 the installed memory is printed during boot.