FreeBSD on RPI4B: shows an incorrect value of RAM

Oleg Ginzburg via freebsd-arm <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <CAMsb+mZVPcb6-c2zwd9Dy9_0Zm6oV+cvS9d+Ekmr=9rSKx99uw@mail.gmail.com>
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
_______________________________________________
[email protected] mailing list
https://lists.freebsd.org/mailman/listinfo/freebsd-arm
To unsubscribe, send any mail to "[email protected]"
lmpx.com only provides a reader for public news (NNTP) servers. It is not affiliated with the servers or forums shown here and is not responsible for the content of articles, which is written by their respective authors.