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_id=124552144&start_sha=67d0256a60e71bc5ffed63560ec07a584752fec1 better enough for a thumbs up ? Regards, PECastro _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/kernel@xxxxxxxxxxxxxxxxxxxxxxx
