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

Mark Millard <[email protected]>
Newsgroups gmane.os.freebsd.devel.arm
Message-ID <[email protected]>
On Jul 27, 2025, at 10:11, Klaus Küchemann <[email protected]> wrote:
> 
> Thanks for yours detailed bug reports (better go to bugzilla?) (I also own these old&newer PI4s)...
> 
>> Am 27.07.2025 um 18:54 schrieb Mark Millard <[email protected]>:
>> 
>> 
>> release/arm64/RPI.conf
>> 
>> for the RPi3B's/RPi4B's and such that uses:
>> 
>> EMBEDDEDPORTS="sysutils/u-boot-rpi-arm64 sysutils/rpi-firmware"
>> 
>> There is no release/arm64/*.conf using either of the others
>> any more (other than in the history).
>> 
> 
> Yes, that's the point. 
> I think we need to ensure/maintain 
> that the correct u-boot/firmware -versions end up in the matching releases.
> (perhaps releases/patches even for every single board revision for Pi4/5)
> I hope to find the time for that soon…

I'll warn that back when I looked at the RPi* kernel support,
the kernel had hard coded various things instead of using
the device tree. (I do not remember the details.) As such,
the kernel would not even notice differences in such areas
to report on needing to be updated when the kernel's code
no longer matched what following the Device Tree would do.

In other words, I'd not be surprised if just updating
u-boot proves insufficient: kernel development/updating
likely would be required as well.

===
Mark Millard
marklmi at yahoo.com
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.