This is a cache of https://discuss.96boards.org/t/q-how-to-build-and-deploy-the-kernel-into-debian-build/7864. It is a snapshot of the page at 2020-02-11T00:16:57.106+0000.
Q: how to build and deploy the kernel into debian build? - HiKey 960 - 96Boards Forum

Q: how to build and deploy the kernel into debian build?

Is there any how-to build and deploy the kernel to a board running Debian build?
Should I try https://wiki.debian.org/BuildADebianKernelPackage or https://kernel-team.pages.debian.net/kernel-handbook/ch-common-tasks.html#s-common-official-vcs ?
Or there maybe some way to re-use fai build system?