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
--
The key to getting good answers is to ask good questions.