How to Install / Upgrade Kernel 3.12.5 in Ubuntu Linux Mint

Last updated: December 14, 2013

Linux Kernel 3.12.5

The fifth maintenance release of the Linux kernel 3.12 is available now. Linux Kernel 3.12.5 contains various updated drivers (networking, SCSI, USB, Xen), a couple of sound updates, and several ARM improvements. See the changelog for details.

All users of the 3.12 kernel series are urged to upgrade as soon as possible. Here’s how to do it in Ubuntu 13.10, Ubuntu 13.04, Ubuntu 12.04, Linux Mint and their derivatives.

Install / Upgrade Linux Kernel 3.12.5:

1. Press Ctrl+Alt+T on keyboard to open terminal. When it opens, run commands below to download DEBs from Ubuntu Kernel page.

For 32 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205-generic_3.12.5-031205.201312120254_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205_3.12.5-031205.201312120254_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-image-3.12.5-031205-generic_3.12.5-031205.201312120254_i386.deb

For 64 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205-generic_3.12.5-031205.201312120254_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205_3.12.5-031205.201312120254_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-image-3.12.5-031205-generic_3.12.5-031205.201312120254_amd64.deb

2 Install this kernel:

cd ~/Downloads/ && sudo dpkg -i linux-headers-3.12.5-*.deb linux-image-3.12.5-*.deb

If you’re using an proprietary driver, you may need to rebuild or even re-install it to make it work with the new kernel. Once done, restart your computer.

If for some reason this kernel release does not work properly for you. Reboot into previous kernel (Grub -> Advance -> select previous kernel) and run command below to remove Linux Kernel 3.12.5:

sudo apt-get remove linux-headers-3.12.5-* linux-image-3.12.5-*

Twitter

I'm a freelance blogger who started using Ubuntu in 2007 and wishes to share my experiences and some useful tips with Ubuntu beginners and lovers. Please comment to let me know if the tutorial is outdated! And, notify me if you find any typo/grammar/language mistakes. English is not my native language. Contact me via ubuntuhandbook1@gmail.com Buy me a coffee: https://ko-fi.com/ubuntuhandbook1

4 responses to How to Install / Upgrade Kernel 3.12.5 in Ubuntu Linux Mint

  1. I’d like to thank you a lot for this guides. Saved me a bunch of time when I had to upgrade kernel because of a kernel bug affecting my ethernet.

    But there is a slight issue in the terminal command to remove the old kernel. For me on Mint 15 and 16 the only way to remove a kernel is either from Synaptic package manager or by writing REMOVE instead of PURGE in the terminal (used caps to highlight the words, not shouting at anyone lol) after I booted with another kernel.

    Also in Mint the grub submenu for the older kernels is called “Previous Linux Versions” not “Advance”, I think it’s like that in Ubuntu too.

  2. Hi,

    I followed your instructions but I think my kernel is still 3.11 after rebooting. Here is how I have checked it:

    uname -a
    Linux samsung 3.11.0-12-generic #19-Ubuntu SMP Wed Oct 9 16:12:00 UTC 2013 i686 i686 i686 GNU/Linux
    and
    cat /proc/version
    Linux version 3.11.0-12-generic (buildd@komainu) (gcc version 4.8.1 (Ubuntu/Linaro 4.8.1-10ubuntu7) ) #19-Ubuntu SMP Wed Oct 9 16:12:00 UTC 2013

    What could be the problem?

    Thanks,
    Prabhat.

  3. I guess it has to do with the fact that in mint 16 they have added a safe kernel update settings, but I have no idea how to tweak it.