../ kernel-default-6.4.8-1.1.g9cc036d.armv7hl.rpm 08-Aug-2023 18:52 94M kernel-default-devel-6.4.8-1.1.g9cc036d.armv7hl..> 08-Aug-2023 18:52 7M kernel-default-livepatch-devel-6.4.8-1.1.g9cc03..> 08-Aug-2023 18:52 6M