On Apr 29, Chris G. Demetriou wrote
> The answer is "because the way kernel headers get moved into user-land
> is that the whole directories are either copied or symlinked..."
> 
> That's a bug, not a feature.
> 

I think we need to have the kernel includes files installed in /usr/include. 
This is needed for building lkms and kmem grovelers, and I don't think
requiring the kernel sources to be installed for building them is a good thing.

--
Manuel Bouyer, LIP6, Universite Paris VI.           Manuel.Bouyer@lip6.fr
--