drivers/ipack/carriers/Kconfig

   1 config BOARD_TPCI200
   2         tristate "Support for the TEWS TPCI-200 IndustryPack carrier board"
   3         depends on IPACK_BUS
   4         depends on PCI
   5         help
   6           This driver adds support for the TEWS TPCI200 IndustryPack carrier board.
   7         default n