On 12/11/2020 19:28, Justin Forbes wrote:
That said, I also do not particularly like copying all of tools
either. I would much rather trim this down to exactly what is needed.
Remember, users with kernel-devel installed are likely to have 3
copies installed at any given time.
Is the latest
https://gitlab.com/cki-project/kernel-ark/-/merge_requests/761/diffs?diff...
better enough for a thumbs up ?
Regards,
PECastro