Hello Linux Geeksters. The highly expected Linux Kernel 3.10 has been released by Linus Torvalds himself yesterday.
Among other fixes and improvements, the new kernel has better support for Solid State Drives (SSDs). A full list of features can be found on the official announcement.
In this article I will show you how to install Linux Kernel 3.10 on Ubuntu 13.10 Saucy Salamander, Ubuntu 13.04 Raring Ringtail, Ubuntu 12.10 Quantal Quetzal, Ubuntu 12.04 Precise Pangolin, Linux Mint 16 Petra, Linux Mint 15 Olivia, Linux Mint 14 Nadia, Linux Mint 13 Maya, Debian Jessie, Debian Sid, Debian Wheezy, Debian Squeeze, Knoppix 7.2.0, Knoppix 7.1.0, Crunchbang OS and many other derivates.
Instructions for installing Kernel 3.10 on 32 bit Debian / Ubuntu based systems:
Download the needed packages:
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-saucy/linux-headers-3.10.0-031000_3.10.0-031000.201306301935_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-saucy/linux-headers-3.10.0-031000-generic_3.10.0-031000.201306301935_i386.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-saucy/linux-image-3.10.0-031000-generic_3.10.0-031000.201306301935_i386.deb
Install Kernel 3.10 on 32 bit Debian / Ubuntu based systems:
$ sudo dpkg -i *.deb
Instructions for installing Kernel 3.10 on 64 bit Debian / Ubuntu based systems:
Download the needed packages:
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-saucy/linux-headers-3.10.0-031000_3.10.0-031000.201306301935_all.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-saucy/linux-headers-3.10.0-031000-generic_3.10.0-031000.201306301935_amd64.deb
$ wget -c kernel.ubuntu.com/~kernel-ppa/mainline/v3.10-saucy/linux-image-3.10.0-031000-generic_3.10.0-031000.201306301935_amd64.deb
Install Kernel 3.10 on 64 bit Debian / Ubuntu based systems:
$ sudo dpkg -i *.deb
And how does one go about REMOVING it? Power management is all messed up on my Core i5 Ivybridge.
What OS are you running?
Get in you grub menu while booting to start the old kernel.
I’ll try to tell you how to remove it ^^
To remove the Linux kernel 3.10, do:
sudo apt-get purge linux-headers-3.10* linux-image-3.10*
After you remove a kernel, don’t forget to update the grub:
sudo update-grub
Do I have to boot in kernel 3.10 in order to use these commands?
no, it is not mandatory.
Debian has a 3.10 kernel in the Experimental repository. This may be more suitable for Debian Sid.
At the time you remove 3.10 (or any kernel), it is best if you are not running it. Assuming there is another kernel installed, boot into it and remove the kernel you don’t want. At least in Debian, update-grub will run automatically.
Looking at your list, it looks like Debian is a derivative of Ubuntu instead of the other way around!
No. It would be better if some other kernel is running.
In Debian this step is not required. When a kernel is removed, update-grub runs.
Instead of removing the generic Debian kernel v3.10.x, why don’t you try installing the userspace apps for power control on your laptop? It works really well and there is excellent support for the i5 line of Intel processors. YMMV.
I don’t find 3.10 or even 3.9 kernels in kernel.ubuntu.com/~kernel-ppa/mainline for the 12.04 (precise) release. Is there any safe download available for a 3.9 or greater kernel package for the 12.04 LTS release?
I was just wondering why the mainline kernel is coming from an ubuntu.com server?