I’m trying to set up a Raspberry Pi 4 with Rocky Linux 9 on kernel 6.x, and following some guides for setting up ElRepo for this purpose. However, I’m finding that none of the mirrors have the repodata/repomd.xml file for aarch64, so I’m guessing an ARM release for kernel 6.0 isn’t out yet?
I’m not very familiar with the RHEL/Rocky ecosystem, so forgive me if the above is obvious. But if it is indeed the case that kernel 6.x isn’t available on ARM, can anyone point me to any information regarding when that would be released?
I double checked that I didn’t miss any kind of boot menu, but there isn’t any choice displayed when booting up the RPi. How do I set which kernel should be booted when running on a Raspberry Pi?
There are really no such boot options at all, the pi just boots directly into the OS without any interaction that I can see. I tried Esc and F8, but neither of them do anything.
if you want, try the latest generic aarch64 image from here, this one doesn’t depend on RPI kernel but uses 5.15 LTS kernel, you can then update it with elrpeo and see if this will boot
I installed one of the standard aarch64 images before I realized that there was a dedicated RPi image, it was the DVD one. But that image didn’t boot at all, so are you saying that the minimal one does boot on a pi?