Raspberry Pi 5 Model B Rev 1.1/Raspberry Pi 5 Model B Rev 1.1, BIOS 2025.10-rc3 10/01/2025

[David Legg]

Is there a Fedora kernel that works with the above anywhere, please?

I tried an SD card with ' Fedora Linux (7.1.8-200.pr1.fc43.aarch64) 43 
(Forty Three)' and the 7.1.7 kernel too, but got this on the debug port:

[  OK  ] Finished    52.571450] SError Interrupt on CPU1, code 
0x00000000be000011 -- SError
[   52.571463] CPU: 1 UID: 0 PID: 387 Comm: (udev-worker) Tainted: G  
  M                7.1.7-100.fc43.aarch64 #1 PREEMPT(lazy)
[   52.571468] Tainted: [M]=MACHINE_CHECK

Thanks,

:D

[Peter Robinson]

Hi David,
> Is there a Fedora kernel that works with the above anywhere, please?

It works across all of my RPi5s
> I tried an SD card with ' Fedora Linux (7.1.8-200.pr1.fc43.aarch64) 43 (Forty Three)' and the 7.1.7 kernel too, but got this on the debug port:
>
> [  OK  ] Finished    52.571450] SError Interrupt on CPU1, code 0x00000000be000011 -- SError
> [   52.571463] CPU: 1 UID: 0 PID: 387 Comm: (udev-worker) Tainted: G   M                7.1.7-100.fc43.aarch64 #1 PREEMPT(lazy)
> [   52.571468] Tainted: [M]=MACHINE_CHECK

You need to provide more context that 3 lines of a kernel error.

It looks like you're running F-43 yet a branch new U-Boot? Why? What
was working previously?