From: Justin Forbes on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/1035#note_578321120 Right, so the Makefile generates vmlinux.h if the value is null, and copies it over if the value is set to something. We could probably simplify this even more. I assumed there was a flag passed in cki to rpmbuild for --only-tools or something, but I don't see it. If we had such a flag, we could key off of that and set VMLINUX_H to the path for this specific kernel in kernel-devel. If we are building without that flag, it would be null and then generate it's own. _______________________________________________ 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 Do not reply to spam on the list, report it: https://pagure.io/fedora-infrastructure