Kernel files (to be able to build kernel modules)

[cetygamer]

Hi, all.

I want to build and run my own kernel modules (drivers).

I flashed this image to SD card and was able to boot into Android:
https://wiki.pine64.org/index.php/ROCKPr...0181212.5D

Where can I find kernel files?

This kernel doesn't work (incompatible version):
http://files.pine64.org/os/ROCKPro64/dri...o64.tar.gz

Output of uname:

Code:

rk3399_mid:/ # uname -a
Linux localhost 4.4.126 #10 SMP PREEMPT Tue Dec 11 17:14:45 CST 2018 aarch64

I wasn't able to find that kernel version on ayufan's github page:
https://github.com/ayufan-rock64

Where can find sources to build my own kernel module? And where can I find info about that Android image?

[cetygamer]

Bump the topic. The question is relevant for Android 9.0. Do I really have to download 125GB archive just to build small .ko driver?