How I get the linux kernel of ubuntu mate 18.04 which running on raspberry pi 3b(arm64)?

Hi there,
I have a raspberry pi 3b running ubuntu 18.04. And I want to patch the kernel with PREEM_RT patch.
kernel version:
uname -r
4.15.0-1032-raspi2
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!

1 Like