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
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:

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