Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

[Matthew Wilcox]

On Wed, Dec 01, 2004 at 05:41:25PM -0200, Alexandre Oliva wrote:
> Anyhow, all of this is beyond the point.  I see you've decreed that
> people can introduce `user' directories in the kernel now.  Would you
> please reconsider and choose a dir name that would enable the same ABI
> headers to be used by kernel and userland, without adding a directory
> to /usr/include that has no indication that it comes from the kernel?

As I've said before, this can be fixed with a sed script.

-- 
"Next the statesmen will invent cheap lies, putting the blame upon 
the nation that is attacked, and every man will be glad of those
conscience-soothing falsities, and will diligently study them, and refuse
to examine any refutations of them; and thus he will by and by convince 
himself that the war is just, and will thank God for the better sleep 
he enjoys after this process of grotesque self-deception." -- Mark Twain
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/