Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

Horst von Brand
2004-11-30T12:20:05Z

Matthew Wilcox <matthew@wil.cx> said:
> 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:

And get them promptly out of sync with glibc &c when the kernel changes.
--
Dr. Horst H. von Brand User #22616 counter.li.org
Departamento de Informatica Fono: +56 32 654431
Universidad Tecnica Federico Santa Maria +56 32 654239
Casilla 110-V, Valparaiso, Chile Fax: +56 32 797513