install-linux-libre-rt-on-devuan.md 1.4 KB
How to install Linux Libre (Realtime / RT kernel) on Devuan
Devuan is a Debian based distro with init freedom. It uses SysVinit by default and not SystemD as it's init system.
_Note to self: Try downloading ISO from the installer-iso folder. e.g. https://mirror.leaseweb.com/devuan/devuan_ascii/installer-iso/. When installing keep Domain empty if not sure._
sudo nano /etc/apt/sources.list.d/linux-libre.list
deb mirror://linux-libre.fsfla.org/pub/linux-libre/liberty/mirrors.txt liberty main
Install dirmngr to import GPG key without issues:
sudo apt install -y dirmngr
Install the GPG key for the repository:
sudo apt-key adv --keyserver pool.sks-keyservers.net --recv-keys F611A908FFA165C699584ED49D0DB31B545A3198
Run apt-key finger and see if it shows this fingerprint:
F611 A908 FFA1 65C6 9958 4ED4 9D0D B31B 545A 3198
Now update and install linux-libre
sudo apt update && sudo apt install linux-libre-rt
If you need linux headers, then:
sudo apt install linux-libre-rt-headers
I checked uname -r and it said 4.9.0-6-amd64.
Now reboot. On Grub menu, advanced options, you should see an option with ...gnu-rt24. This is our newly installed kernel. Now uname -r should say something like 4.19.59-gnu-rt24.
Source: https://www.fsfla.org/ikiwiki/selibre/linux-libre/liberty.en.html