# CONFIG_PCCARD is not set
