FreeBSD on RPI4B: shows an incorrect value of RAM

[Oleg Ginzburg]

> The UEFI/ACPI ( RPI_EFI.fd ) means of booting has the UEFI defaults being
to restrict to 3 GiByte of RAM.

Thanks Mark for the informative answer!
I disabled the option 'Limit RAM to 3 GB' and now my FreeBSD feels good.

https://www.bsdstore.ru/trash/IMG_20210121_123742.jpg
https://www.bsdstore.ru/trash/IMG_20210121_124352.jpg

On Thu, Jan 21, 2021 at 1:25 AM Oleg Ginzburg <olevole at olevole.ru> wrote:

> Hello maillist,
>
> Recently became the owner of an RPI4-B board. Latest FreeBSD snapshot (
> FreeBSD-13.0-CURRENT-arm64-aarch64-RPI-20210107-f2b794e1e90-255641.img )
> boots successfully. However, for some reason, the system only sees 3.1
> gigabytes.
> This model has 8 GB of RAM. Any ideas?
>
> https://www.bsdstore.ru/trash/IMG_20210121_000558.jpg
> https://www.bsdstore.ru/trash/IMG_20210120_224751.jpg
>
> ps: booted from SD via RPI_EFI.fd (
> https://github.com/pftf/RPi4/releases/tag/v1.22 ), config.txt:
>
> disable_splash=1
> arm_64bit=1
> enable_uart=1
> uart_2ndstage=1
> enable_gic=1
> armstub=RPI_EFI.fd
> #disable_commandline_tags=1
> #disable_overscan=1
> #device_tree_address=0x1f0000
> #device_tree_end=0x200000
> #dtoverlay=miniuart-bt
>
>