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

mroberts@redhat.com   
M: 07887-850270