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
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
And maybe something for you here?:
https://launchpad.net/~fo0bar/+ppa-packages
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
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 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