Upgrade / Install Linux Kernel 3.13.5 in Ubuntu or Linux Mint

Linux Kernel 3.13.5

Linux Kernel 3.13.5 has been announced today, February 23, by the famous kernel developer Greg Kroah-Hartman. This release brings various important improvements and fixes, such as architecture updates (ARM, PowerPC, x86 and s390), and assorted fixes and improvements for the Intel i915 and Radeon drivers. For details, see the changelog.

Below steps will teach you how to install or upgrade to this kernel release in Ubuntu 14.04, Ubuntu 13.10, Ubuntu 12.10 and Ubuntu 12.04.

1. Download the .deb packages from THIS PAGE. Or, press Ctrl+Alt+T on keyboard to open the terminal and run below commands instead:

For 32 bit system:

cd Downloads && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/linux-headers-3.13.5-031305-generic_3.13.5-031305.201402221823_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/linux-headers-3.13.5-031305_3.13.5-031305.201402221823_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/linux-image-3.13.5-031305-generic_3.13.5-031305.201402221823_i386.deb

For 64 bit system:

cd Downloads && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/linux-headers-3.13.5-031305-generic_3.13.5-031305.201402221823_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/linux-headers-3.13.5-031305_3.13.5-031305.201402221823_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/linux-image-3.13.5-031305-generic_3.13.5-031305.201402221823_amd64.deb

2. Install these .deb packages by running the below command:

cd Downloads && sudo dpkg -i linux-headers-3.13.5-*.deb linux-image-3.13.5-*.deb

Once installed, restart your computer and done.

NOTE: If you’re running a proprietary video driver, you may need to re-build or even re-install to get it work with the new kernel.

If for some reason this kernel release doesnt work properly for you, reboot into previous kernel (Grub -> Advanced -> select previous kernel) and run this command to remove Linux Kernel 3.13.4:

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