[lkml]   [2004]   [Dec]   [1]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
Messages in this thread
    SubjectRe: [RFC] Splitting kernel headers and deprecating __KERNEL__
    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
    More majordomo info at
    Please read the FAQ at

     \ /
      Last update: 2005-03-22 14:08    [W:0.019 / U:1.440 seconds]
    ©2003-2016 Jasper Spaans. hosted at Digital OceanAdvertise on this site