devicepkg-dev: implement out-of-tree build for downstream kernels
- Apr 05, 2020
-
-
[skip-ci]: just downloading all kernel sources takes about one hour and ollieparanoid wants to merge it now. This already ran successfully with [ci:skip-build] and [ci:skip-vercheck].
-
-