Linux kernel 4.5.0

Last Updated on: 20th September 2023, 03:44 pm

There is the Linux kernel 4.5.0 available in Sparky “unstable” repository.

It is a home roasted, the latest stable Linux kernel which provides the latest set of drivers for many devices. The kernel is placed in Sparky “unstable” repository, which is inactive as default to make sure you will enable it only if you wish.

Anyway if you would like to install Sparky’s Linux kernel, do:

1. Activate Sparky “unstable” repository, editing (as root), the file:
/etc/apt/sources.list.d/sparky.list
and make the list as below:
## sparky
deb http://sparkylinux.org/repo/ testing main
deb-src http://sparkylinux.org/repo/ testing main
deb http://sparkylinux.org/repo/ unstable main
deb-src http://sparkylinux.org/repo/ unstable main

2. Refresh package list:
sudo apt-get update

3. Install the latest kernel.
amd64:
sudo apt-get install linux-image-sparky-amd64
686 non-pae:
sudo apt-get install linux-image-sparky-686
686-pae:
sudo apt-get install linux-image-sparky-686-pae

Then reboot you machine to take effects.

The Linux headers packages are also available to install.
amd64:
sudo apt-get install linux-headers-sparky-amd64
686 non-pae:
sudo apt-get install linux-headers-sparky-686
686-pae:
sudo apt-get install linux-headers-sparky-686-pae

Some external modules should be rebuilt/reinstall after, for example Virtualbox or VMware modules, for example:
sudo dpkg-reconfigure virtualbox-dkms

Make sure that Sparky is shipped with Debian’s Linux kernel as default, but the newest kernel can be installed manually from our repos, if you wish.