[prev in list] [next in list] [prev in thread] [next in thread] 

List:       glibc-alpha
Subject:    Re: [RFC] Splitting kernel headers and deprecating __KERNEL__
From:       Horst von Brand <vonbrand () inf ! utfsm ! cl>
Date:       2004-11-30 12:18:04
Message-ID: 200411301218.iAUCI4o7003833 () laptop11 ! inf ! utfsm ! cl
[Download RAW message or body]

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
[prev in list] [next in list] [prev in thread] [next in thread]