[RFC] Splitting kernel headers and deprecating __KERNEL__

[David Woodhouse]

On Fri, 2004-11-26 at 14:19 +0000, Matthew Wilcox wrote:
> On Fri, Nov 26, 2004 at 12:00:43PM +0000, David Woodhouse wrote:
> > On Fri, 2004-11-26 at 11:58 +0000, David Howells wrote:
> > > How about calling the interface headers "kapi*/" instead of "user*/". In case
> > > you haven't guessed, "kapi" would be short for "kernel-api".
> > 
> > I don't think that change really makes any difference. The nomenclature
> > really isn't _that_ important.
> 
> Indeed.  We could also make this transparent to userspace by using a script
> to copy the user-* headers to /usr/include.  Something like this:

Indeed.

> If we really wanted to get fancy, we could also sed __u32 to uint32_t.
> But that would probably cause more pain, confusion, hurt and bad feeling
> than I'd ever want to be responsible for.

Also true. Let's just use the standard types in the first place and not
screw around with having to fix it up later.

-- 
dwmw2