As suggested by Yann E. Morin, it'd be nice to generate a Makefile wrapper in the $(O) directory, just as the kernel does.
Created attachment 2341 [details] Install a Makefile wrapper in $(O) This is highly inspired by how the Linux kernel does it. As our infra is not really similar, there are significant differences. Tested that it does not break current behavior (out-of-tree and in-tree).
Created attachment 2461 [details] Install a Makefile wrapper in $(O) The patch has been cleanup a bit, and rebased on-top of current tree.
Closed with commit aefad5317f2fd1645ace5a62b6b9643143093173 ?
Indeed. Thanks!