~$ grep -i pcmcia /boot/config-$(uname -r)
# Bus options (PCI, PCMCIA, EISA, MCA, ISA)
# PCCARD (PCMCIA/CardBus) support
# CONFIG_PCMCIA_DEBUG is not set
CONFIG_PCMCIA=m
CONFIG_PCMCIA_LOAD_CIS=y
CONFIG_PCMCIA_IOCTL=y
CONFIG_PCMCIA_PROBE=y
CONFIG_PARPORT_PC_PCMCIA=m
# PCMCIA SCSI adapter support
CONFIG_PCMCIA_AHA152X=m
CONFIG_PCMCIA_FDOMAIN=m
CONFIG_PCMCIA_NINJA_SCSI=m
CONFIG_PCMCIA_QLOGIC=m
CONFIG_PCMCIA_SYM53C500=m
CONFIG_PCMCIA_XIRCOM=m
CONFIG_PCMCIA_XIRTULIP=m
CONFIG_PCMCIA_WAVELAN=m
CONFIG_PCMCIA_NETWAVE=m
CONFIG_PCMCIA_RAYCS=m
# Wireless 802.11b Pcmcia/Cardbus cards support
CONFIG_PCMCIA_HERMES=m
CONFIG_PCMCIA_SPECTRUM=m
CONFIG_PCMCIA_ATMEL=m
CONFIG_PCMCIA_WL3501=m
# PCMCIA network device support
CONFIG_NET_PCMCIA=y
CONFIG_PCMCIA_3C589=m
CONFIG_PCMCIA_3C574=m
CONFIG_PCMCIA_FMVJ18X=m
CONFIG_PCMCIA_PCNET=m
CONFIG_PCMCIA_NMCLAN=m
CONFIG_PCMCIA_SMC91C92=m
CONFIG_PCMCIA_XIRC2PS=m
CONFIG_PCMCIA_AXNET=m
CONFIG_PCMCIA_IBMTR=m
CONFIG_HISAX_AVM_A1_PCMCIA=y
# HiSax PCMCIA card service modules
CONFIG_ISDN_DRV_AVMB1_B1PCMCIA=m
CONFIG_PHONE_IXJ_PCMCIA=m
# PCMCIA character devices
# PCMCIA devices