> the good parts about this are that we don't need to keep a list of
> which headers in src/sys are installed.  but i question that, at
> times, too.  everything else we install we keep a list of..

If you look at what's actually installed, it's arguable that a _lot_
more headers are installed than should be...

To keep 'random crap' from being installed, I, at least, have tried to
keep headers which shouldn't be seen by user-land out of
arch/*/include (e.g. the {isa,eisa,pci,tc,...}_machdep.h headers),
which could and probably should go in arch/*/include.  (If the headers
were there, that would definitely remove some #ifdefs in MI code)...
A way to _keep_ headers from being installed would be a good thing.


cgd