Hi all,
I have a Fedora 32 laptop with kernel : 5.6.19-300.fc32.x86_64
This seems to be the latest available.
To use VirtualBox I need to configure it and that requires that I install kernel headers. The current version I have installed is : kernel-devel-5.7.7-200.fc32.x86_64
I can't find the kernel headers to match my OS level and I can't see an upgrade mechanism to get the kernel up to 5.7.7-200.
Any ideas how to resolve this ?
Mark
_______________________________________________ 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
