AlmaLinux and upstream kernel support for Raspberry Pi 5, plus a forthcoming high-performance Arm64 Tuxedo laptop - Encouraging noises are coming from multiple directions around Linux support for both current and next-generation Arm64 kit.