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 <jdolecek@NetBSD.org>      http://www.ics.muni.cz/~dolecek/
NetBSD - just plain best OS! -=<>=- Got spare MCA cards or docs? Hand me them!