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


note that there *are* files in /usr/include/dev that *are* used by userland.
the one i can think of off hand is <dev/sun/disklabel.h>.


.mrg.