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).
...