../ kernel-default-6.5.1-1.1.g78edb06.armv7hl.rpm 05-Sep-2023 14:42 94M kernel-default-devel-6.5.1-1.1.g78edb06.armv7hl..> 05-Sep-2023 14:42 7M kernel-default-livepatch-devel-6.5.1-1.1.g78edb..> 05-Sep-2023 14:42 6M