On Mon, Dec 11, 2000 at 11:03:37PM +0100, Jaromír Dolecek wrote:
> 
> I seriously doubt that one would want to do kernel development
> and won't want to have also syssrc around.
> 
It would hurt none (or only little) to be able to install the
sysincludes without the full kernel source (and perhaps be able to
select one or more platforms rather than the entire lot).

If someone points me in the right direction, I think I could put the
effort into it.

++L