On Wed, Aug 17, 2005 at 11:15:39AM +0200, Miklos Szeredi wrote: > They are provided by _one_ kernel, not necessarily the running kernel. No, they're provided by packages like glibc-kernheaders or similar that are maintained separately. They're split from the kernel headers and we don't need to keep obsolete junk around.