../ kernel-default-6.0~rc1-1.1.g0d8dc51.armv7hl.rpm 19-Aug-2022 18:24 87M kernel-default-devel-6.0~rc1-1.1.g0d8dc51.armv7..> 19-Aug-2022 18:24 3M kernel-default-livepatch-devel-6.0~rc1-1.1.g0d8..> 19-Aug-2022 18:24 3M