3

A year or so ago I installed 18.04 Now I've installed 18.04.3 18.04.2 and finally 18.04 to an other hard disk on the same PC and the kernel is always 5.0.0-27-generic, how can I get back the 4.xxx that originally came with 18.04 (and 18.04.1 and 18.04.2, according to google wisdom 5.xxx was introduced with 18.04.3).

I've got a third party closed source library that fails to install on kernel 5 and I've traced the problem to a changed header file in that comes with the kernel. (Linux 5.0: macro "access_ok" passed 3 arguments, but takes just 2).

nyholku
  • 133

1 Answers1

5

It is quite easy. Run in a terminal:

sudo apt install linux-generic

That will install the 4.15 kernel and related meta packages.

Then boot with that kernel using grub menu and remove all 5.0 kernel packages.

Pilot6
  • 92,041