jdolecek 372e5956ef Only install headers which are actually used by our userland. This ... saves about 2.2MB under /usr/include/dev/. Discussed on tech-kern@ recently. I HOPE to get the list right. The headers I left in are ones used for MI tools and those whose usage I discovered by grep over tree sources. Feel free to put needed includes back in if you encounter anything which should not be removed from lists.		2001-04-11 07:42:31 +00:00
..
Makefile	Only install headers which are actually used by our userland. This	2001-04-11 07:42:31 +00:00
files.pckbc	whitespace police	2001-02-24 01:59:46 +00:00
pckbd.c	…
pckbdreg.h	…
pckbdvar.h	…
psm.c	…
psm_intelli.c	…
psmreg.h	…
wskbdmap_mfii.c	…
wskbdmap_mfii.h	…