Upgrade kernel to 3.13.5

If you want use last stabile kernel, or if you have any problem with standart for netrunner 3.12 (3.11-17 kernel) , you can upgrade kernel to 3.13.5.

Proceed at your own risk

For 64bit system:
for this you should in the terminal type:
sudo 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

sudo 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

sudo 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

sudo dpkg -i linux-headers-3.13.5-.deb linux-image-3.13.5-.deb

sudo reboot

For 32-bit system, you can use the above method, but change strings with amd64 to i386
I use 64-bit, and just can not say more precisely.

To make sure that the new kernel It is installed and work, you can run KInfoCenter, and you can see into OS version 3.13.5-031305-generic
PS: If you after upgrade kernel, have problem problem with VirtualBox, to fix you can:
sudo apt-get install linux-headers-$(uname -r)
sudo apt-get remove virtualbox-dkms
sudo apt-get install virtualbox-dkms

in the synaptics you must uninstall virtualbox packages(and dependent packages), and uninstall “virtualbox-guest-additional” package. Next you can download last version virtualbox from https://www.virtualbox.org/wiki/Linux_Downloads for “Ubuntu 13.04 (“Raring Ringtail”) / 13.10 (“Saucy Salamander”) i386 | AMD64” and install this.
All must works perfectly.

[color=#000080]Remember this (5) is a maintenance release and always recommend first installing the 3.13 kernel and then if subsequent updates as 3.13.5 for example, to make the system more stable.[/color]

Thank you for comment. Ofcourse.

This is not really true.
As 3.13.5 is nothing else as an upgraded full 3.13.0 kernel. So installing the last would not harm and is recommend if you want the latest and greatest. An upgrade to 3.13.0 and then to 3.13.5 does does not make anything more stable. (This is different to other software updates especially distro upgrades)

As small advice though. Nvidia and ATI/Amd proprietary drivers usually don’t support the newest kernel very well or at all. Be aware of it before upgrading.

[color=#000080]Thanks for the clarification.
In these cases it is best to apply the Golden Rule of GNU/Linux:
[color=#DAA520][size=medium]“If something goes well … Do not touch it!”[/size][/color] :stuck_out_tongue:

kernel not found

404 Not Found
2014-03-10 15:11:29 ERROR 404: Not Found.

They update the kernel regulary. so the file names will change. See http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.13.5-trusty/