Kernel 3.10.7 Released: Install / Upgrade in Ubuntu, Linux Mint

Last updated: August 16, 2013

Linux Kernel 3.10.7 has been released. All users of the 3.10 kernel series must upgrade. Here’s how to install / upgrade in Ubuntu 13.04 Raring, Ubuntu 12.04 Precise, Ubuntu 12.10 Quantal, and Linux Mint.

Linux Kernel 3.10.7 Ubuntu

Linux kernel 3.10.7 is a pretty big release that brings PowerPC enhancements, updated drivers (including DRM ones), as well as improvements to the EXT4, CIFS, ReiserFS and Btrfs filesystems. See official release announcement.

Install / Upgrade Kernel 3.10.7

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

  • For 32-bit system, run below 3 commands:
    wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.7-saucy/linux-headers-3.10.7-031007-generic_3.10.7-031007.201308150319_i386.deb
    
    wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.7-saucy/linux-headers-3.10.7-031007_3.10.7-031007.201308150319_all.deb
    
    wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.7-saucy/linux-image-3.10.7-031007-generic_3.10.7-031007.201308150319_i386.deb
  • For 64-bit:
    wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.7-saucy/linux-headers-3.10.7-031007-generic_3.10.7-031007.201308150319_amd64.deb
    
    wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.7-saucy/linux-headers-3.10.7-031007_3.10.7-031007.201308150319_all.deb
    
    wget http://kernel.ubuntu.com/~kernel-ppa/mainline/v3.10.7-saucy/linux-image-3.10.7-031007-generic_3.10.7-031007.201308150319_amd64.deb
  • After downloading the packages, both 32-bit & 64-bit can run below commands to install them:

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

    Once installed, update grub to apply changes and you’re done!

    sudo update-grub

    (Optional) To remove Linux Kernel 3.10.7, run this command in terminal:

    sudo apt-get purge linux-image-3.10.7*

    Twitter

    I'm a freelance blogger who started using Ubuntu in 2007 and wishes to share my experiences and some useful tips with Ubuntu beginners and lovers. Please comment to let me know if the tutorial is outdated! And, notify me if you find any typo/grammar/language mistakes. English is not my native language. Contact me via ubuntuhandbook1@gmail.com Buy me a coffee: https://ko-fi.com/ubuntuhandbook1