From https://www.thinkpenguin.com/gnu-linux/manually-upgrading-linux-libre-kernel-trisquel-6x: If your on a 64-bit installation download the following packages (or the latest kernel): linux-headers-x.xx.x-gnu_1.0_amd64.deb linux-image-x.xx.x-gnu_1.0_amd64.deb linux-source-x.xx.x-gnu_1.0_all.deb You can get these packages from (you’ll need to locate the directory that says linux-source-3.14.1-gnu, but the 3.14.1 part may be newer): http://linux-libre.fsfla.org/pub/linux-libre/freesh/pool/main/l/ Then open a terminal and run: sudo dpkg -i *deb Finally, sudo update-grub2