Do you know if those are all using the same upstream kernel as the rest of Arch? If so that's a pretty useful list, it's hard to find. Even if rpi kernels aren

Do you know if those are all using the same upstream kernel as the rest of Arch? If so that's a pretty useful list, it's hard to find. Even if rpi kernels aren't exactly upstream at least I can know the people paid to work on https://github.com/raspberrypi/linux https://github.com/raspberrypi/linux are fairly responsive, and someone else will have hit an issue first.