# PCMCIA devices:
#
