On Thu, 7 Jan 2021 17:26:20 +0000, Folderol 
declaimed the following:

>Does anyone know if it is reasonably easy to get an RT kernel running on the
Pi?
>I'm using devuan beowulf to get a small footprint install *without* either
>systemd or pulseaudio.
>

https://www.raspberrypi.org/forums/viewtopic.php?t=206750
"""
This means that if you want to try it out you'll have to build it yourself.
The general kernel-building instructions are here:
https://www.raspberrypi.org/documentati ... uilding.md

You will need to amend the instructions slightly - where it says

Code: Select all

git clone --depth=1 https://github.com/raspberrypi/linux

you will need:

Code: Select all

git clone --depth=1 https://github.com/raspberrypi/linux -b rpi-4.14.y-rt
"""
https://www.raspberrypi.org/documentation/linux/kernel/building.md



--
 Wulfraed                 Dennis Lee Bieber         AF6VN
 wlfraed@ix.netcom.com    http://wlfraed.microdiversity.freeddns.org/

--- SoupGate-Win32 v1.05