tree 267f951e3c800d2d94c8421767e372407182492e
parent eddf9dd07a4c1d94aad70894f98df24bc0e4cbc2
author Jerome Marchand <jmarchan@redhat.com> 1591782119 +0200
committer Jerome Marchand <jmarchan@redhat.com> 1591806744 +0200

loader: suggest to install the right kernel devel package

Unfortunately, some package dependency system do not allow to make
sure that the kernel development package installed is the same version
as the running kernel. When this happen, the loader, unable to find
the kernel header, will suggest to rebuild the kernel with
CONFIG_IKHEADERS. For most users, this is probably not an option, but
installing the kernel development package corresponding to the running
kernel version is.