../ kernel-default-5.19.1-1.1.ga80d391.riscv64.rpm 18-Aug-2022 14:05 122787096 kernel-default-devel-5.19.1-1.1.ga80d391.riscv6..> 18-Aug-2022 14:05 6232190 kernel-default-livepatch-devel-5.19.1-1.1.ga80d..> 18-Aug-2022 14:05 5521361