Re: RPI4-4Gb Boot fails from SD card (both my build AND the official 14.3 build)

Reply: Karl Denninger : "Re: RPI4-4Gb Boot fails from SD card (both my build AND the official 14.3 build)"
In reply to: Karl Denninger : "Re: RPI4-4Gb Boot fails from SD card (both my build AND the official 14.3 build)"
Go to: [ bottom of page ] [ top of archives ] [ this month ]

From: Mark Millard <marklmi_at_yahoo.com>
Date: Sun, 27 Jul 2025 21:35:20 UTC

On Jul 27, 2025, at 13:03, Karl Denninger <karl@denninger.net> wrote:

> BTW another thing I didn't notice right away, but do on further playing with the "pi3" u-boot -- that specific Pi4 comes up but only sees 1Gb of RAM.
> The one I have has 4 and under Linux it does see and use all of it.

That does not surprise me at all. Upstream made separate U-Boot
versions, with the RPi3 being long before RPi4B's existed.
The (temporarily?) more generic one came after both the RPi3B
and RPi4B U-Boot's had existed for some time. (I do not know
how much to blame U-Boot vs. FreeBSD vs. a mix of both for
the current status.)

I would not expect a RPi3B U-Boot to well handle everything about
a RPi4B, both as an upstream issue and as a FreeBSD ports issue.

===
Mark Millard
marklmi at yahoo.com