Subject: Re: Kernel include files proposal
To: Jarommr Dolecek <>
From: Lennart Augustsson <>
List: tech-kern
Date: 04/10/2001 10:15:32
I totally agree with this.  Today it seems that the default for most drivers
is to just install all header files.  This is WRONG.  So please do this.

    -- Lennart

Jarommr Dolecek wrote:

> Hi,
> I'd like to propose simple rule for installing kernel include
> files to under /usr/include:
>          Our userland uses it or standards mandate it.
> I think it's not appropriate to install random headers
> "just in case".
> Also, I'd like to seriously trim number of sys/dev/ headers installed
> to under /usr/include/dev/ down. Currently, it occupies like 2.5MB and
> most stuff (if not all) is useless for userland.
> Opinions?
> Jaromir
> --
> Jaromir Dolecek <>
> NetBSD - just plain best OS! -=<>=- Got spare MCA cards or docs? Hand me them!