Linux Kernel Source for Debian


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


You could use the Hikey960 mainline WIP branch which is maintenance by John if you want to work on mainline kernel:; 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:, so it uses the tag for debian kernel building:

[1] Which kernel branch is used by the current RPB 4.14 kernel?