Closed MingcongBai closed 2 months ago
[APPROVALNOTIFIER] This PR is NOT APPROVED
This pull-request has been approved by: Once this PR has been reviewed and has the lgtm label, please assign liujianqiang-niu for approval. For more information see the Code Review Process.
The full list of commands accepted by this bot can be found here.
builddeb
invoked by build_kernel.sh
generates another debian/
configuration, causing CI to fail. We should probably handle this in another repository.
Introduce Debian routines to build kernel tools and documentation in addition to the image, header, and libc-dev packages generated with build_kernel.sh.
Build these packages with: