imp db8e4ff08f Move from using PCCARD_ symbols gereated from this file to using PCMCIA_ ...

symbols so that driver lists are easier to share and keep in sync.

2001-11-11 20:15:06 +00:00

..

devlist2h.awk

…

miidevs2h.awk

…

pccarddevs2h.awk

Move from using PCCARD_ symbols gereated from this file to using PCMCIA_

2001-11-11 20:15:06 +00:00

usbdevs2h.awk

…

vnode_if.awk

KSE Milestone 2

2001-09-12 08:38:13 +00:00