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

renatoriolino 2016-08-01 12:46:18 UTC #1

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?

Thanks

wolfman 2016-08-01 13:19:28 UTC #2

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

https://wiki.ubuntu.com/ARM/RaspberryPi

https://www.raspberrypi.org/documentation/linux/kernel/building.md

And maybe something for you here?:

https://launchpad.net/~fo0bar/+ppa-packages

renatoriolino 2016-08-01 14:09:00 UTC #3

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.

Thanks

renatoriolino 2016-08-01 17:49:27 UTC #4

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

https://github.com/raspberrypi/linux/tree/rpi-bootloader-1.20160315-1

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

wangma 2017-03-09 21:51:28 UTC #5

Hi, friend

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

Thank you for your help.

I also used https://github.com/raspberrypi/linux/tree/rpi-bootloader-1.20160315-1

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