From mboxrd@z Thu Jan  1 00:00:00 1970
Message-ID: <f358bb75cc088a772201ea42ec7c4f46@hamnavoe.com>
To: 9fans@9fans.net
From: Richard Miller <9fans@hamnavoe.com>
Date: Wed, 21 Aug 2019 20:25:35 +0100
In-Reply-To: <20190821192049.E93D41570CE9@mail.bitblocks.com>
MIME-Version: 1.0
Content-Type: text/plain; charset="US-ASCII"
Content-Transfer-Encoding: 7bit
Subject: Re: [9fans] raspberry pi 4 arm64 test image
Topicbox-Message-UUID: 05d67a1c-eada-11e9-9d60-3106f5b1d025

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