Currently running: UbuntuMATE 16.10 64bit Kernel: 4.8.0-59-generic
In the wake of the Specter and Meltdown vulnerabilities I’ve been trying to update my kernel version to 4.13
When I run the following nothing gets updated. sudo apt-get update sudo apt-get upgrade sudo apt-get dist-upgrade
How do I manually and safely update my kernel?