On Sat, Jan 18, 2014 at 11:07:10PM +0100, Bjarke Istrup Pedersen wrote: > I have been thinking about other solutions, but so far, I haven't been > able to find one that solves it, so the tools build. (An option might > be to strip it from the __KERNEL__ part, to make it smaller, but I > don't know what difference that would make :-)
The fix is to move the userspace stuff into the uapi header and include that header in the kernel header. See include/linux/sched.h and many others for an example. -- Regards/Gruss, Boris. Sent from a fat crate under my desk. Formatting is fine. -- -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/