I have compiled yet another Ubuntu/Debian kernel for 64 bit systems. This time kernel 4.12.0-12-exton, equivalent to Kernel.org’s latest stable kernel 4.12.8 released 170816.

What’s new in Linux kernel 4.12?

Install kernel 4.12.0-12-exton in Ubuntu/Debian based distributions
My self-compiled Ubuntu kernels can be used in all types of modern Ubuntu systems, including Mint. They can even be used in Debian Jessie (Debian 8) and Debian Stretch (Debian 9). If you want to use my kernel 4.12.0-12-exton for 64 bit systems, you can DOWNLOAD it from here.

md5sum for ubuntu-kernel-64bit-4.12.0-12-exton.zip which is of 62,6 MB.

Installation instructions
Open the zip-file with WinZip, WinRAR or 7-Zip. Or run this command: unzip ubuntu-kernel-64bit-4.12.0-12-exton.zip. Go into the folder ubuntu-kernel-64bit-4.12.0-12-exton and run this command:
sudo dpkg -i *.deb

NOTE: Look into the folder ubuntu-kernel-64bit-4.12.0-12-exton first. Maybe you don’t want to install linux-tools and linux-cloud-tools. Then just delete six (6) deb-files before you run the above command.

Then: Run command sudo update-grub (if you use Grub2).

Nvidia
It is possible to install Nvidia’s proprietary drivers if you use “my” kernel 4.12.0-12-exton. Could be useful if you like to play games. The Nvidia drivers in for example Ubuntu’s repositories – “Current” etc. – can’t be used. It is supposed to be “impossible” to install Nvidia’s latest drivers when running kernel 4.10 – 4.12 without “patches” etc. On the other hand it’s a fact that kernel 4.12 has better support for the open-source Nvidia driver Nouveau than any other older kernel.

A small clarification
“My” kernel 4.12.0-12-exton is compiled (almost) the same way as all official Ubuntu kernels. That is, The Ubuntu Way. If not, the kernel would not function in a Ubuntu/Debian system.

Good luck!