Realtime kernel for Raspberry Pi 3

[tuzumkuru]

Hi,

I need a real-time kernel for Raspberry Pi and currently have an RPi 3.
I’m comfortable with Linux but not very familiar with kernel details.

I've been trying to compile and boot newer Linux versions with real-time support. While I managed to build and install them, I’m facing issues I can’t resolve. The problem seems similar to what's described here: https://forums.raspberrypi.com/viewtopic.php?t=361163

Is there a recent and reliable method for building a real-time kernel for the RPi 3?

Thanks!

[kdoren]

@tuzumkuru

PREEMPT_RT kernel on RPi 3 requires specific patches to prevent lockups (or at least it did in the past).

I'd suggest trying my release 6.1.54-rt15. Deb packages are in this repo under "releases", and installation instructions are in the wiki. That was the last release I tested on RPi3. The 32-bit version works on RPi3. I was never able to get a 64-bit PREEMPT_RT kernel working on RPi3.

To build your own, you can follow my procedure in this repo's wiki. It has a download link for the rpi-specific patch set. You'll need to do the commented-out step for applying the RPi patches.

https://github.com/kdoren/linux/wiki/Building-PREEMPT_RT-kernel-for-Raspberry-Pi

-Kevin

[tuzumkuru]

Thanks so much, it worked like a charm.
I always tried to get 64-bit one working and couldn't manage but 32-bit works.
Thanks for the repo too btw.