Kernel Headers problem trying to run Virtual Box

[Mark Roberts]

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/

[e-mail] 
M: 07887-850270
https://www.redhat.com/

[Ed Greshko]

On 2020-07-10 18:20, Mark Roberts wrote:
> 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 ?

First, I think VirtualBox would be looking for kernel-headers.  Only one kernel-headers would be installed
on the system at any one time.  While there would be an equal number of kernel-devel packages installed
as kernels, which is defaulted to 3.

So, the question would be, if you have kernel-5.7.7-200 (which would seem to be the case)
installed why are you not booting that kernel which is the most recent?

What do you get if you

rpm -qa | grep ^kernel