Linux Kernel 3.13.1 RC1 was released days ago with many exciting new features: better hardware device drivers, new file-system improvements, and other improvements (Linux Kernel 3.13.1 RC1 release announcement).
This simple tutorial shows you how to install or upgrade to Linux Kernel 3.13.1 RC1 in Ubuntu 13.10, Ubuntu 13.04, Ubuntu 12.04. Note that you video driver may or may not supports this new kernel, don’t do this in product machine because this is not a stable release.
To get started, press Ctrl+Alt+T to open terminal and run commands below to download the DEBs:
For 32 bit system:
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13-rc1-trusty/linux-headers-3.13.0-031300rc1-generic_3.13.0-031300rc1.201311221535_i386.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13-rc1-trusty/linux-headers-3.13.0-031300rc1_3.13.0-031300rc1.201311221535_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13-rc1-trusty/linux-image-3.13.0-031300rc1-generic_3.13.0-031300rc1.201311221535_i386.deb
For 64 bit system:
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13-rc1-trusty/linux-headers-3.13.0-031300rc1-generic_3.13.0-031300rc1.201311221535_amd64.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13-rc1-trusty/linux-headers-3.13.0-031300rc1_3.13.0-031300rc1.201311221535_all.deb
wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13-rc1-trusty/linux-image-3.13.0-031300rc1-generic_3.13.0-031300rc1.201311221535_amd64.deb
Then install them via:
sudo dpkg -i linux-headers-3.13.0-*.deb linux-image-3.13.0-*.deb
Once installed, restart computer and done.
If the new kernel does not work properly. Boot into previous kernel and run commands to remove this kernel:
sudo apt-get purge linux-headers-3.13.0-* linux-image-3.13.0-*
sudo update-grub