Skip site navigation (1)Skip section navigation (2)
Date:      Tue, 11 Aug 2020 21:47:13 +0200
From:      Gordon Bergling <gbe@freebsd.org>
To:        freebsd-arm@freebsd.org
Subject:   RPi4B only allocates 1GB instead of 4GB
Message-ID:  <20200811194713.GA54090@lion.0xfce3.net>

next in thread | raw e-mail | index | archive | help
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



Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?20200811194713.GA54090>