Thanks. I'd seen that repo, but assumed it to be Linux-specific and hadn't realised it had an android branch. That looks to have been updated more recently than the dguidipc repo: 2020-04-26 vs 2020-02-13
https://github.com/gemian/cosmo-linux-kerne...commits/android
This reminds me, the kernel source
could be distinct due to differences in userspace. The question of, "Is Android a Linux distribution?" At times the answer seems "yes" and at times the answer seems "no".
Having reminded me of the situation, most likely you would want to use dguidipc/cosmo-android-kernel. The reason being this
should be what is in use on the Cosmo. Issue is are there any differences between the kernel used in Cosmo release V1 and release V22? It isn't
certain, but there are often small tweaks between releases. Yet with no tags nor branches that repository doesn't really satisfy the GPL. I think I need to send e-mail to Planet about wanting more...
I haven't compiled a normal Linux kernel before. Maybe I should start there =P
The Linux kernel has some pretty good documentation. The file "README" in the top directory is a
good starting point. There are a bunch of extra packages your build system may need before rebuilding a kernel for itself or a Cosmo.
EDIT: Partially note to self. Grabbed /proc/config.gz. The Cosmo configuration matches "k71v1_64_bsp_defconfig" the Cosmo may have an almost
completely generic MediaTek kernel.