> That's right, but why do the headers not get installed 'physically' > there when the kernel-headers package is installed? It may be because many systems' root filesystem is quite small, and the kernel headers are somewhat large. That's just a guess, though.