Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

Sam Ravnborg
2004-12-14T19:44:31Z

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