Linux Kernel Source for Debian

Hi,

Where I can find the linux kernel source for Hikey960 Linux/Debian , not android ?

Thanks
Lucas

You could use the Hikey960 mainline WIP branch which is maintenance by John if you want to work on mainline kernel: https://git.linaro.org/people/john.stultz/android-dev.git/log/?h=dev/hikey960-mainline-WIP; this branch is continuously maintained for Hikey960 mainline kernel support.

Before @Loic has a good summary for related info [1] for debian releasing with kernel receipt, you can find kernel receipt info in the page: https://github.com/96boards/meta-96boards/blob/master/recipes-kernel/linux/linux-hikey960_git.bb, so it uses the tag for debian kernel building: https://github.com/96boards-hikey/linux/releases/tag/working-hikey960-upstream-rebase-v4.14-2018-02-09.

[1] Which kernel branch is used by the current RPB 4.14 kernel? - #4 by danielt