On Sat, Aug 24, 2024 at 3:37 AM Matthieu Baerts matttbe@kernel.org wrote:
Now that the CI runners have been updated to use Ubuntu 24.04 [1], we can use mptcp.h from the system headers, or do some actions via IPRoute2. So not having KHDR_INCLUDES is no longer blocking us for the moment. I think it might still be useful to add it for future use, and also to use the latest version of the UAPI headers that are not in 'tools/include/uapi', but I don't want to insist if you prefer not to use the latest version.
Let's not fix what is not broken. We'll add KHDR_INCLUDES when it's actually necessary.