[Letux-kernel] RasPi 3B+ (and potentially others) in LetuxOS

[H. Nikolaus Schaller]

Hi,
I observed that once again HDMI was broken on the RasPi 3B+ with
letux-6.6.72 or letux-6.12.13 while it did work with for example 6.6.71.
Strangely only on one of two RasPi 3B+... Another unit worked.

After some experimentation I found that swapping the µSD did move the issue around.
So I compared the uImage and /lib/modules and /etc/debian_version but they were the same.
Only the boot files remained to be a reason.

It turned out that the broken µSD has boot files from https://download.goldelico.com/letux-u-boot/RasPi-3B+/2019-03-14/
installed in 2019. But makesd also downloads some more files directly from github.
And those were different.

I.e. the latest kernels rely on some update for the boot system.

So I have copied the working files (bootcode.bin, fixup.dat, start.elf) from github
to https://download.goldelico.com/letux-u-boot/RasPi-3B+/2025-02-15/
and did overwrite them on the broken µSD. And now, kernels 6.6.72 to .77 and 6.12.13
have HDMI again.

And to avoid such issues in future (well, not completely) I have modified makesd to use
the boot files from the snapshot on the letux-u-boot server instead of pulling in what
just happens to be available on github. This can of course not avoid that newer kernels
require newer boot files, but we have always a stable install for debugging.

BR,
Nikolaus