Re: [9fans] raspberry pi 4 arm64 test image

[Richard Miller]

> 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.