#
# This file was automatically generated during the Debian installation
#
PCMCIA='yes'
#
# Should be either i82365 or tcic
#
PCIC="i82365"

#
# Put socket driver timing parameters here.
#
PCIC_OPTS="poll_interval=100 irq_list=3,10"

#
# Put pcmcia_core options here.
#
CORE_OPTS=""

#
# Put cardmgr options here.
#
CARDMGR_OPTS=""