Re: raspberry pi 4 arm64 test image

Richard Miller <[email protected]>
Newsgroups gmane.os.plan9.general
Message-ID <[email protected]> 
> 512M memory: 207M kernel data, 304M user, 1828M swap

The firmware on a pi4 with 2GB or 4GB RAM will only report 1GB.
I believe you need to look at the board id (or probe for invalid
addresses as in the teg2 kernel) to find out the real amount.
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.