> I'd like to propose simple rule for installing kernel include
> files to under /usr/include:
>          Our userland uses it or standards mandate it.

Long term I think "userland uses it" isn't good enough. Anything userland
uses really should be exported as a proper API. ONLY the kvm groveler type
programs have an excuse to get around that.

> I think it's not appropriate to install random headers
> "just in case".

Definitely.

> 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.

Yes, this is a great idea.

Todd Whitesel
toddpw @ best.com