Whilst not the highest priority, I had 10 minutes spare - https://github.com/raspberrypi/linux/pull/6284Doing so isn't the highest of priorities though.
Once CI has completed in about 45 mins, "sudo rpi-update pulls/6284" should get the relevant kernel on a Rapsberry Pi OS install.
Statistics: Posted by 6by9 — Thu Jul 25, 2024 3:07 pm