RPi4B only allocates 1GB instead of 4GB

[Gordon Bergling]

Hi,

I am currently working on an issue [1] of FreeBSD regarding the memory allocation
on the RPi4B. I have a 4GB model running a very recent version of -CURRENT,
but FreeBSD only recognizes 1GB instead of the installed 4GB of memory.

I spent some time today looking through the general determination of physical 
memory in FreeBSD in sys/vm/vm_phys.c, but my initial try to simply the issue
by building a kernel without NUMA support wasn't that successful.

The next part I was thinking about was the firmware -> kernel interface, lets
say UEFI vs. 'plain u-boot'. But after the study of information I found on the
net, that is a far different story, compared to read C-sources.

Has anyone a RPi4 or RPi4B with memory != 1GB, who could verify that issue?

I found some information on a chinese website where somebody posted a dmesg
output of FreeBSD 13-CURRENT on an RPi4B (8 GB version) where the memory
allocation was correct.

--Gordon

[1] https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=247012