../ kernel-vanilla-6.12~rc1-1.1.g1752fcc.x86_64.rpm 01-Oct-2024 06:23 129274829 kernel-vanilla-devel-6.12~rc1-1.1.g1752fcc.x86_..> 01-Oct-2024 06:23 4219820 kernel-vanilla-livepatch-devel-6.12~rc1-1.1.g17..> 01-Oct-2024 06:23 4369566 kernel-vanilla-vdso-6.12~rc1-1.1.g1752fcc.x86_6..> 01-Oct-2024 06:23 184249