Kconfig

   1 # SPDX-License-Identifier: GPL-2.0-only
   2 config BOARD_TPCI200
   3         tristate "Support for the TEWS TPCI-200 IndustryPack carrier board"
   4         depends on IPACK_BUS
   5         depends on PCI
   6         help
   7           This driver adds support for the TEWS TPCI200 IndustryPack carrier board.
   8         default n