I have a raspberry pi 3b running ubuntu 18.04. And I want to patch the kernel with PREEM_RT patch.
But I didn't find this version of the kernel.
It would be really great if somebody can help me. Thanks a lot!
I'm not fluent on the whole "raspi2 kernel" thing, but you can go here: https://git.launchpad.net/~ubuntu-kernel/ubuntu/+source/linux/+git/bionic/refs/tags
where I see there's a particular commit labeled for "Ubuntu-raspi2-4.15.0-1032.34".
@code_exec knows more.
Okay, That's a great help to me. Thanks a lot!