Kernel Source (4.1.19-v7+) for Mate 16.04 armhf

Hi guys,

I need to apply some kernel patches on my Mate 16.04 installation (on a RPi3), but I can’t find kernel sources on apt repository.

The kernel I’m using is 4.1.19-v7+ but the only kernel source I can find on apt repository is “linux-source-4.4.0”

What am I doing wrong?


Hi @renatoriolino,

I have no idea myself, maybe @Wimpy or @lah7 can help you there?, in the meantime, do the following links help you at all?:

And maybe something for you here?:

I actually just need to add aufs support on this kernel. I have the diff patches from aufs project, but the kernel-source itself (with .config file and ubuntu’s patches) aren’t available. I have looked on those links but I couldn’t find the kernel-source on them.

I found an ubuntu-server preinstalled image for arm (compatible with pi2 and pi3) and using kernel 4.4.0 (with aufs compiled as a module), but I couldn’t boot it on my pi3, so I prefer to get 4.1.19-v7+ source and compile the aufs by myself.


1 Like

Ok, I found out that the official raspberry kernel was used. This one:

What I’m still missing is the kernel .config file. There is not copy of it on the source, /boot nor /proc.

Hi, friend

I have encountered the same problem, hoping to know how you later solved?

Thank you for your help.

I also used

But that was compiled for a few hours, so I wanted to use ubuntu mate