Install Linux Kernel 3.17.1 (Stable) in Linux Mint/PinguyOS/Elementary OS
All articles
Last comments
Will, 16-11-2014, 19:21
Didnt see when this post was originally made....but still works in Mint 'Sarah' in 2017
Jesús, for "libpackagekit" run: sudo apt-get install packagekit-backend-aptcc
Guest Michael
This is my favorite GUI text editor for Linux, I use the Windows version all the time too. I also covered this topic here.
I'm using Mint Cinnamone installed on virtual machine VMWare. The instruction helped me to adjust my mouse scroll wheel speed. I set the value to 6. Now it's comfortable to use the mouse. Thanks a lot!
«    January 2017    »
» » Install Linux Kernel 3.17.1 (Stable) in Linux Mint/PinguyOS/Elementary OS

Install Linux Kernel 3.17.1 (Stable) in Linux Mint/PinguyOS/Elementary OS

Install Linux Kernel 3.17.1 (Stable) in Linux Mint/PinguyOS/Elementary OS

Linux Kernel 3.17.1 is the first adjustment kernel release version 3.17. You can download the relevant deb packages from HERE and install them in the Ubuntu software Center. Or just follow the instructions given below that will help you to install a new kernel multiple commands in terminal.

Sorry for the spelling and phonetic errors in the text.
Owner and main writer of is not a native English speaker.

Suitable for Linux Mint 17/16/15/13 Elementary OS 0.2/0.3 PinguyOS 14/12
Installing the Linux Kernel 3.17.1 into Linux Mint/Pinguy OS or others Ubuntu distrs:
1. The easiest way to use the utility KernelUpdate.
2. Open a terminal, copy and run one of the commands according to the architecture of your system/computer, at your own risk:

For 32-bit (single command):
Linux terminal: ~$cd /tmp && wget && sudo dpkg -i *.deb[/code]
For 64-bit (single command):
Linux terminal: ~$cd /tmp && wget && sudo dpkg -i *.deb [/code]
2. Update GRUB (GRUB need to upgrade the Linux system where it is installed, if you have more than one)
Linux terminal: ~$sudo update-grub[/code]

Note If you have a boot loader installed BURG, and it should be updated:
Linux terminal: ~$sudo update-burg[/code]

3. At the end of the installation, close all applications and restart the computer the following command:
Linux terminal: ~$sudo reboot[/code]

Once logged in, check the version of the current kernel with the command:
Linux terminal: ~$uname -r[/code]
If you decide to delete the kernel 3.17.1,
1. When the computer bootsthe GRUB menu, select your old kernelAfter booting the system, remove the new kernel by command below
Linux terminal: ~$sudo apt-get purge linux-image-3.17.1-*[/code]
To return to the previous kernel when booting Grub select Previous Linux versions


Tags: kernel

Related Articles

Add a comment

  • bowtiesmilelaughingblushsmileyrelaxedsmirk
Login via
Twenty-four minus twenty © 2014-2017
All rights reserved
Any copying, including separate parts of texts or images the publication and republication, reprinting or any other dissemination of information, in whatever form and by whatever technical means it has not been, is strictly prohibited without the prior written consent of the publisher. While citing information subscribers references required. Quotable material without prior consent, but in no more than one paragraph and binding direct, open for search engines hyperlink to the website is not lower than in the second paragraph of text.