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

Mark Roberts

Senior Solution Architect

Red Hat <https://www.redhat.com/>

mrobe...@redhat.com <marro...@redhat.com>
M: 07887-850270
<https://www.redhat.com/>
_______________________________________________
users mailing list -- users@lists.fedoraproject.org
To unsubscribe send an email to users-le...@lists.fedoraproject.org
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@lists.fedoraproject.org

Reply via email to