1. Home/
    2. Archives /
  2. Linux Kernel

Archives For November 30, 1999

How to Install / Upgrade Kernel 3.12.8 in Ubuntu Linux Mint

Last updated: January 16, 2014

Linux Kernel 3.12.8

The latest Linux Kernel 3.12.8 has been announced a few hours ago. According to the changelog, Kernel 3.12.8 is a small release that mainly brings improvements to x86, ARM architectures, as well as some network fixes.

All users of the 3.12 kernel series are urged to upgrade this kernel as soon as possible and here’s how to do it in Ubuntu 13.10, Ubuntu 13.04, Ubuntu 12.04, Ubuntu 12.10, Linux Mint and their derivatives.

Install / Upgrade Kernel 3.12.8:

Ubuntu Kernel Team has made the DEB packages which are available in this page. If you’re comfortable with command line, follow below steps to download & install them.

1. Download the Kernel Debs:

For 32 bit system, open terminal by Ctrl+Alt+T and run below commands:

cd /tmp/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.8-trusty/linux-headers-3.12.8-031208-generic_3.12.8-031208.201401151952_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.8-trusty/linux-headers-3.12.8-031208_3.12.8-031208.201401151952_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.8-trusty/linux-image-3.12.8-031208-generic_3.12.8-031208.201401151952_i386.deb

For 64 bit system:

cd /tmp/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.8-trusty/linux-headers-3.12.8-031208-generic_3.12.8-031208.201401151952_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.8-trusty/linux-headers-3.12.8-031208_3.12.8-031208.201401151952_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.8-trusty/linux-image-3.12.8-031208-generic_3.12.8-031208.201401151952_amd64.deb

2. Install the DEBs:

cd /tmp/ && sudo dpkg -i linux-headers-3.12.8-*.deb linux-image-3.12.8-*.deb

Restart your computer and done.

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

If for some reason this kernel release doesn’t work properly for you, reboot into previous kernel (Grub -> Advanced -> select previous kernel) and run commands to remove Linux Kernel 3.12.7:

sudo apt-get remove linux-headers-3.12.8-* linux-image-3.12.8-*
In Howtos ,
 

Kernel 3.10.26 LTS Released, How to Install it in Ubuntu Linux

Last updated: January 10, 2014

The Long Term Support Linux Kernel 3.10 series now is at the 26th update. Greg Kroah-Hartman announced this release on January 9 and urged users of this Kernel series to upgrade as soon as possible.

The Kernel 3.10.26 brings various improvements to ARM, PowerPC and x86 architectures, several improvements to the EXT4, GFS2, Ceph and JBD filesystems, and updated drivers, including USB, wireless, i915, Radeon. See the Changelog

Install / Upgrade Kernel 3.10.26:

The Ubuntu Kernel Team has made the Deb packages which are available in this page. If you’re comfortable with command line, follow the below steps to download & install them.

1. Press Ctrl+Alt+T on keyboard to open terminal and run commands below one by one to download Kernel Debs:

For 32 bit system:

cd /tmp/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.26-saucy/linux-headers-3.10.26-031026-generic_3.10.26-031026.201401091635_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.26-saucy/linux-headers-3.10.26-031026_3.10.26-031026.201401091635_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.26-saucy/linux-image-3.10.26-031026-generic_3.10.26-031026.201401091635_i386.deb

For 64 bit system:

cd /tmp/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.26-saucy/linux-headers-3.10.26-031026-generic_3.10.26-031026.201401091635_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.26-saucy/linux-headers-3.10.26-031026_3.10.26-031026.201401091635_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.26-saucy/linux-image-3.10.26-031026-generic_3.10.26-031026.201401091635_amd64.deb

2. Install the Kernel:

cd /tmp/ && sudo dpkg -i linux-headers-3.10.26-*.deb linux-image-3.10.26-*.deb

Restart your computer and done.

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

If for some reason this kernel release doesn’t work properly for you, reboot into previous kernel (Grub -> Advanced -> select previous kernel) and run commands to remove Linux Kernel 3.10.26:

sudo apt-get remove linux-headers-3.10.26-* linux-image-3.10.26-*
In Howtos ,
 

Install / Upgrade to Kernel 3.12.7 in Ubuntu Linux Mint

Last updated: January 10, 2014

The latest Linux Kernel 3.12.7 has been announced a few hours ago. According the to changlog, Kernel 3.12.7 brings various improvements to ARM, PowerPC and x86 architectures, several improvements to the EXT4, GFS2, Ceph, JBD and CIFS filesystems, some sound and core enhancements, as well as numerous updated drivers, including USB, wireless, i915, Radeon, and more. See the changelog

This simple tutorial is going to show you how to install or upgrade to this kernel release in Ubuntu 13.10, Ubuntu 13.04, Ubuntu 12.10, Ubuntu 12.04, Linux Mint and their derivatives.

Install / Upgrade Kernel 3.12.7:

Ubuntu Kernel Team has made the DEB packages available in this page. If you’re comfortable with command line, follow below steps to download & install them.

1. Download the Kernel Debs:

For 32 bit system, open terminal by Ctrl+Alt+T and run below commands:

cd /tmp/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.7-trusty/linux-headers-3.12.7-031207-generic_3.12.7-031207.201401091657_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.7-trusty/linux-headers-3.12.7-031207_3.12.7-031207.201401091657_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.7-trusty/linux-image-3.12.7-031207-generic_3.12.7-031207.201401091657_i386.deb

For 64 bit system:

cd /tmp/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.7-trusty/linux-headers-3.12.7-031207-generic_3.12.7-031207.201401091657_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.7-trusty/linux-headers-3.12.7-031207_3.12.7-031207.201401091657_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.7-trusty/linux-image-3.12.7-031207-generic_3.12.7-031207.201401091657_amd64.deb

2. Install the DEBs:

cd /tmp/ && sudo dpkg -i linux-headers-3.12.7-*.deb linux-image-3.12.7-*.deb

Restart your computer and done.

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

If for some reason this kernel release doesn’t work properly for you, reboot into previous kernel (Grub -> Advanced -> select previous kernel) and run commands to remove Linux Kernel 3.12.7:

sudo apt-get remove linux-headers-3.12.7-* linux-image-3.12.7-*
In Howtos ,
 

How to install / upgrade Kernel 3.10.25 LTS in Ubuntu Linux Mint

Last updated: December 21, 2013

The Linux Kernel 3.10 (Long Term Support) now is at 25th maintenance release. Linux Kernel 3.10.25 is a big released which brings several x86 improvements, numerous updated drivers (Radeon, i915, hwmon, ALSA, wireless, USB), various fixes (KVM, PowerPC, ARM, Btrfs), as well as other changes. See the changelog for details.

All users of 3.10 Kernel series are urged to upgrade as soon as possible, here’s how to do it in Ubuntu, Linux Mint and their derivatives.

Install / Upgrade Kernel 3.10.25:

The DEBs are available in Ubuntu Kernel page. Follow the steps below to download & install them if you’re on familiar with command line:

1. Download the DEB:

For 32 bit system:

cd ~/Downloads/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.25-saucy/linux-headers-3.10.25-031025-generic_3.10.25-031025.201312201135_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.25-saucy/linux-headers-3.10.25-031025_3.10.25-031025.201312201135_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.25-saucy/linux-image-3.10.25-031025-generic_3.10.25-031025.201312201135_i386.deb

For 64 bit system:

cd ~/Downloads/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.25-saucy/linux-headers-3.10.25-031025-generic_3.10.25-031025.201312201135_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.25-saucy/linux-headers-3.10.25-031025_3.10.25-031025.201312201135_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.25-saucy/linux-image-3.10.25-031025-generic_3.10.25-031025.201312201135_amd64.deb

2. Install the DEBs:

cd ~/Downloads/ && sudo dpkg -i linux-headers-3.10.25-*.deb linux-image-3.10.25-*.deb

Restart your computer and done.

If you’re using proprietary video driver, you may need to re-build or re-install to get it work with new kernel.

If for some reason this kernel release doesn’t work properly for you, reboot into previous kernel (Grub -> Advanced -> select previous kernel) and run commands to remove Linux Kernel 3.10.25:

sudo apt-get remove linux-headers-3.10.25-* linux-image-3.10.25-*
In Howtos ,
 

How to Install / Upgrade Kernel 3.12.6 Ubuntu Linux Mint

Last updated: December 21, 2013

The sixth maintenance release of Linux kernel 3.12 has been released recently, which brings several ARM and x86 improvements, numerous updated drivers (Radeon, i915, HID, hwmon, md, Ethernet, wireless, DVB, USB), various filesystem improvements (Btrfs, XFS, NFS), as well as sound and networking fixes. See the changelog for details.

Linux Kernel 3.12.6 is a very big release, Greg Kroah-Hartman recommended users of 3.12 kernel series upgrade to this release as soon as possible.

Install / Upgrade Kernel 3.12.6:

Users of Ubuntu 13.10, Ubuntu 12.04, Ubuntu 13.04, Linux Mint, and their derivatives can easily get the DEBs of this kernel from Ubuntu Kernel page. Or follow the steps below:

1. Download the Kernel DEBs:

For 32 bit:

cd ~/Downloads/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.6-trusty/linux-headers-3.12.6-031206-generic_3.12.6-031206.201312201218_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.6-trusty/linux-headers-3.12.6-031206_3.12.6-031206.201312201218_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.6-trusty/linux-image-3.12.6-031206-generic_3.12.6-031206.201312201218_i386.deb

For 64 bit:

cd ~/Downloads/ && wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.6-trusty/linux-headers-3.12.6-031206-generic_3.12.6-031206.201312201218_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.6-trusty/linux-headers-3.12.6-031206_3.12.6-031206.201312201218_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.6-trusty/linux-image-3.12.6-031206-generic_3.12.6-031206.201312201218_amd64.deb

2. Install the DEBs:

cd ~/Downloads/ && sudo dpkg -i linux-headers-3.12.6-*.deb linux-image-3.12.6-*.deb

Restart your computer and done.

If you’re using proprietary video driver, you may need to re-build or re-install to get it work with new kernel.

If for some reason this kernel release doesn’t work properly for you, reboot into previous kernel (Grub -> Advanced -> select previous kernel) and run commands to remove Linux Kernel 3.12.6:

sudo apt-get remove linux-headers-3.12.6-* linux-image-3.12.6-*
In Howtos ,
 

How to Install / Upgrade Kernel 3.12.5 in Ubuntu Linux Mint

Last updated: December 14, 2013

The fifth maintenance release of the Linux kernel 3.12 is available now. Linux Kernel 3.12.5 contains various updated drivers (networking, SCSI, USB, Xen), a couple of sound updates, and several ARM improvements. See the changelog for details.

All users of the 3.12 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.04, Linux Mint and their derivatives.

Install / Upgrade Linux Kernel 3.12.5:

1. Press Ctrl+Alt+T on keyboard to open terminal. When it opens, run commands below to download DEBs from Ubuntu Kernel page.

For 32 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205-generic_3.12.5-031205.201312120254_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205_3.12.5-031205.201312120254_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-image-3.12.5-031205-generic_3.12.5-031205.201312120254_i386.deb

For 64 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205-generic_3.12.5-031205.201312120254_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-headers-3.12.5-031205_3.12.5-031205.201312120254_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.5-trusty/linux-image-3.12.5-031205-generic_3.12.5-031205.201312120254_amd64.deb

2 Install this kernel:

cd ~/Downloads/ && sudo dpkg -i linux-headers-3.12.5-*.deb linux-image-3.12.5-*.deb

If you’re using an proprietary driver, you may need to rebuild or even re-install it to make it work with the new kernel. Once done, restart your computer.

If for some reason this kernel release does not work properly for you. Reboot into previous kernel (Grub -> Advance -> select previous kernel) and run command below to remove Linux Kernel 3.12.5:

sudo apt-get remove linux-headers-3.12.5-* linux-image-3.12.5-*
In Howtos ,
 

Kernel 3.10.24 LTS released, upgrade it in Ubuntu Linux

Last updated: December 12, 2013

Linux Kernel 3.10 LTS now is at version 3.10.24, which brings various fixes (ARM, USB, SCSI, ALSA) and updated drivers, see the changelog for details.

Greg Kroah-Hartman announced this release a few minutes ago. All users of Kernel 3.10 series are urged to upgrade as soon as possible.

Install / Upgrade Kernel 3.10.24:

1. Press Ctrl+Alt+T on keyboard to open terminal. When it opens, run commands below one by one to download the DEBs. (You can also download them at this page):

For 32 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.24-saucy/linux-headers-3.10.24-031024-generic_3.10.24-031024.201312120235_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.24-saucy/linux-headers-3.10.24-031024_3.10.24-031024.201312120235_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.24-saucy/linux-image-3.10.24-031024-generic_3.10.24-031024.201312120235_i386.deb

For 64 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.24-saucy/linux-headers-3.10.24-031024-generic_3.10.24-031024.201312120235_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.24-saucy/linux-headers-3.10.24-031024_3.10.24-031024.201312120235_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.24-saucy/linux-image-3.10.24-031024-generic_3.10.24-031024.201312120235_amd64.deb

2. Install this kernel:

cd ~/Downloads/ && sudo dpkg -i linux-headers-3.10.24-*.deb linux-image-3.10.24-*.deb

Once done, restart your computer.

If for some reason this kernel release does not work properly for you, reboot into the previous kernel (Grub -> Advanced -> select previous kernel) and run commands to remove Linux Kernel 3.10.24:

sudo apt-get purge linux-headers-3.10.24-* linux-image-3.10.24-*
In Howtos ,
 

Install / Upgrade Kernel 3.10.23 LTS in Ubuntu, Linux Mint

Last updated: December 9, 2013

The latest Kernel Long Term Support now is at 3.10.23, which brings many updated drivers (Radeon, Ethernet, HID), several IPv4 and IPv6 fixes, as well as other changes. See the changlog for details.

Linux kernel 3.10.23 is quite big release and users of Kernel 3.10 series are urged to upgrade as soon as possible. Here’s how to do it in Ubuntu, Linux Mint and their derivatives.

Install / Upgrade Kernel 3.10.23:

1. Download the DEBs:

Press Ctrl+Alt+T on keyboard to open terminal. When it opens, run commands below one by one to download Kernel DEB packages (available in Ubuntu Kernel page):

For 32 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.23-saucy/linux-headers-3.10.23-031023-generic_3.10.23-031023.201312081135_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.23-saucy/linux-headers-3.10.23-031023_3.10.23-031023.201312081135_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.23-saucy/linux-image-3.10.23-031023-generic_3.10.23-031023.201312081135_i386.deb

For 64 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.23-saucy/linux-headers-3.10.23-031023-generic_3.10.23-031023.201312081135_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.23-saucy/linux-headers-3.10.23-031023_3.10.23-031023.201312081135_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.23-saucy/linux-image-3.10.23-031023-generic_3.10.23-031023.201312081135_amd64.deb

2. Install the Kernel:

cd ~/Downloads/ && sudo dpkg -i linux-headers-3.10.23-*.deb linux-image-3.10.23-*.deb

Once installed restart computer and done.

NOTE: If you’re using proprietary drivers, you may need to rebuild or re-install it after upgraded to new kernel version.

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.10.24 via commands below:

sudo apt-get purge linux-headers-3.10.23-* linux-image-3.10.23-*
In Howtos ,
 

Kernel 3.12.4 released, Install / Upgrade in Ubuntu Linux Mint

Last updated: December 9, 2013

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/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204-generic_3.12.4-031204.201312081207_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204_3.12.4-031204.201312081207_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-image-3.12.4-031204-generic_3.12.4-031204.201312081207_i386.deb

For 64 bit system:

cd ~/Downloads/

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204-generic_3.12.4-031204.201312081207_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-headers-3.12.4-031204_3.12.4-031204.201312081207_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.12.4-trusty/linux-image-3.12.4-031204-generic_3.12.4-031204.201312081207_amd64.deb

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-*
In Howtos ,
 

How to Install / Upgrade Kernel 3.10.22 LTS in Ubuntu Linux Mint

Last updated: December 5, 2013

Linux Kernel 3.10 LTS (Long Term Support) has reached version 3.10.22. All users of this kernel series are urged to upgrade as soon as possible. Here’s how to do it in Ubuntu, Linux Mint and their derivatives.

Linux Kernel 3.10.22 comes with wireless, sound and powerpc improvements, radeon, nouveau, i915 driver updates, as well as other changes. See the changelog for details.

Install / Upgrade Kernel 3.10.22:

The DEB packages have been made into Ubuntu Kernel page. Follow the steps below to download and install them.

1. Press Ctrl+Alt+T on keyboard to open terminal. When it opens, run commands below to download the DEBs:

For 32 bit system:

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.22-saucy/linux-headers-3.10.22-031022-generic_3.10.22-031022.201312041435_i386.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.22-saucy/linux-headers-3.10.22-031022_3.10.22-031022.201312041435_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.22-saucy/linux-image-3.10.22-031022-generic_3.10.22-031022.201312041435_i386.deb

For 64 bit system:

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.22-saucy/linux-headers-3.10.22-031022-generic_3.10.22-031022.201312041435_amd64.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.22-saucy/linux-headers-3.10.22-031022_3.10.22-031022.201312041435_all.deb

wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.22-saucy/linux-image-3.10.22-031022-generic_3.10.22-031022.201312041435_amd64.deb

2. Install the kernel:

sudo dpkg -i linux-headers-3.10.22-*.deb linux-image-3.10.22-*.deb

Once done, restart your computer.

If for some reason the kernel does not work properly on your system. Restart and boot into Grub -> Advanced -> previous kernel, then remove Linux Kernel 3.10.22 via:

sudo apt-get purge linux-headers-3.10.22-* linux-image-3.10.22-*
In Howtos ,