Revision of Update the Linux-Libre kernel from Fri, 08/02/2013 - 05:06

This tutorial will show an easy and fast way to update the Linux-Libre kernel. A big thanks to jxself for his work on maintaining this repositories (More information here: http://jxself.org/linux-libre/ ).

Add the repository:

1. Edit the source.list file like this:

We will edit the /etc/apt/sources.list in order to include the new repository. For this example I will use gedit but you can use the editor you want. Type in the terminal:

$ gksudo gedit /etc/apt/sources.list

And add this line :

deb http://linux-libre.fsfla.org/pub/linux-libre/freesh/ freesh main

2. Download and Add the Repository Key:

Type in the terminal:

$ wget http://linux-libre.fsfla.org/pub/linux-libre/freesh/archive-key.asc

And after the download just add the key like this:

$ sudo apt-key add archive-key.asc

3. Update the repositories:

We need to update the repositories in order to install the new kernel, so just type this in the terminal :

$ sudo apt-get update

(aptitude could be replaced by apt-get, use the one you normally use)

Installation of the new Linux-libre Kernel:

1. Choose the kernel you want to install (if you don't know, this command will show it to you):

$ arch

CPU Architecture		Package Name
x86	32-bit	linux-libre32 linux-libre32-headers
	64-bit	linux-libre64 linux-libre64-headers

For this example I will choose the linux-libre64 kernel and the linux-libre64-headers (for the kernel headers, necessary for applications like Virtualbox, and for kernel development).

1. Install the selected kernel (and headers if necessary):

Now we will just use apt-get (or aptitude) to install the new Linux-Libre Kernel from the repositories. For this just type in the terminal:

$ sudo apt-get install linux-libre64 linux-libre64-headers

And just wait for the installation to finish.

2. Updating Grub: This is the last and most important step, for the simple reason that, if you don't update the grub list, then you will not be able to see the and launch Trisquel with the new kernel installed (and that would be very sad after all those steps). For this last step just type the fallowing in the terminal:

$ sudo update-grub

Wait for it to end and just reboot your computer !

You are now running Trisquel Gnu/Linux with an awesome new Linux-Libre Kernel freshly installed.

If you have any troubles please report them:

• Trisquel Issues
• jxself WebPage

Other

• http://libreplanet.org/wiki/Group:Linux-libre