/proc/meminfo bei Raspberry PI 4

[Christoph Pleger <Christoph.Pleger@cs.tu-dortmund.de>]

Hallo,

ich habe heute einen Raspberry Pi 4 Modell B erhalten und installiert.
Als ich mit cat /proc/cpuinfo die Speichermenge überprüfen wollte,
stellte ich fest, dass nur ca. 3GB angezeigt werden, obwohl 8 GB
vorhanden sein sollten. Erst habe ich angenommen, dass mit der Ware was
nicht stimmt, aber dann bin ich darauf gestoßen, dass es wohl ein
Problem gab/gibt, dass Linux den Speicher beim Raspi 4 nicht nutzt und
nicht anzeigt, obwohl er vorhanden ist. Nun bin ich mir nicht sicher,
ob die Speichermenge falsch angezeigt wird, oder ob der Speicher
tatsächlich fehlt und ich das Gerät umtauschen muss. Hat jemand einen
Raspberry Pi 4 unter Debian laufen und kann deswegen was darüber
mitteilen, ob das Problem dort auch auftritt?

Viele Grüße
  Christoph