Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

[Sam Ravnborg]

On Tue, Dec 14, 2004 at 04:23:12PM -0300, Horst von Brand wrote:
> 
> > Therefore, stdint.h types would mainly be used with new interfaces,
> > or in intermediate definitions which are not themselves part of the
> > interface. Of course, the latter would have to consider pollution
> > issues.
> 
> They _can't_ show up in interfaces unless you specify that stdint.h has to
> be included before them... and I'd awise against any needless interface
> fattening. Besides, using them in the kernel would then mean pulling in
> stdint.h there... and you get the same mess, the other way around ("What
> userspace headers are OK to pull in when compiling the kernel?"). Better
> don't.

Today we only pull in stdarg.h from userspace - actually a compiler
dependent file. We shall not introduce anything to pull more stuff in
from userspace. We have namespace issues enough - keeping the kernel out
of userspace namespace is important.

	Sam
-
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/