Messages in this thread | | | Subject | Re: [RFC] Splitting kernel headers and deprecating __KERNEL__ | Date | Tue, 30 Nov 2004 09:18:04 -0300 | From | Horst von Brand <> |
| |
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 - To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
| |