Kernel 3.12.4 released, Install / Upgrade in Ubuntu Linux Mint

December 9, 2013 — Leave a comment

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/




For 64 bit system:

cd ~/Downloads/




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-*

I'm a freelance blogger who started using Ubuntu 5+ years ago and wishes to share my experiences and some useful tips with Ubuntu beginners and lovers. Please notify me if you find any typo/grammar/language mistakes. English is not my native language. Contact me on Google Plus or email to

No Comments

Be the first to start the conversation.

Leave a Reply


Text formatting is available via select HTML.

<a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>