Kernel 3.12.4 released, Install / Upgrade in Ubuntu Linux Mint

Last updated: December 9, 2013

Linux Kernel 3.11.4

Linux Kernel 3.12.4 was released recently. It brings many updated drivers (HID, ISDN, Radeon, Ethernet, Wireless), several IPv4 and IPv6 fixes, as well as multiple networking improvements. See the changelog for details.

Linux Kernel 3.12.4 is quite big release and all users of this 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.10, Ubuntu 12.04, Linux Mint and their derivatives.

Install / Upgrade Kernel 3.12.4

1. Download the DEBs

The DEB packages has been made into Ubuntu Kernel page, you can download them at this page. Or press Ctrl+Alt+T on keyboard to open terminal, and run commands below one by one:

For 32 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204-generic_3.12.4-031204.201312081207_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204_3.12.4-031204.201312081207_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-image-3.12.4-031204-generic_3.12.4-031204.201312081207_i386.deb

For 64 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204-generic_3.12.4-031204.201312081207_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204_3.12.4-031204.201312081207_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-image-3.12.4-031204-generic_3.12.4-031204.201312081207_amd64.deb

2. Install the Kernel

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

Once installed, restart your computer and done.

NOTE: Any drivers not part of the main kernel tree (which of course includes proprietary drivers) must be rebuilt for new kernel versions as internal kernel interfaces may have changed.

If for some reason this kernel does not work properly for you, restart and boot into Grub -> Advanced -> select previous kernel. Then remove Linux Kernel 3.12.4 via commands below:

sudo apt-get purge linux-headers-3.12.4-* linux-image-3.12.4-*

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