On Jul 9, 2022, at 06:31, Patrick Dupre <pdupre@xxxxxxx> wrote: > > Hello, > > I get > > > Linux Teucidide 5.7.6-201.fc32.x86_64 #1 SMP Mon Jun 29 15:15:52 UTC 2020 x86_64 x86_64 x86_64 GNU/Linux > > while it is a machine > kernel-5.18.10-200.fc36.x86_64 I suspect you’ve got an extra /boot partition or directory someplace that GRUB2 is booting from, instead of the kernels owned by the current OS. -- Jonathan Billings _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/users@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure