Re: [RFC] Splitting kernel headers and deprecating __KERNEL__

From: Alexandre Oliva
Date: Mon Nov 29 2004 - 11:37:25 EST


On Nov 26, 2004, David Howells <dhowells@xxxxxxxxxx> 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've seen kapi being used to reference the api exposed by the kernel
to modules, but not the abi exposed to userland. ukabi sounds more
appropriate for the latter, although many people might wonder what's
with this United Kingdom ABI :-)

--
Alexandre Oliva http://www.ic.unicamp.br/~oliva/
Red Hat Compiler Engineer aoliva@{redhat.com, gcc.gnu.org}
Free Software Evangelist oliva@{lsd.ic.unicamp.br, gnu.org}
-
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/