drivers/ipack/carriers/Kconfig - third_party/linux - Git at Google

 config BOARD_TPCI200
 	tristate "Support for the TEWS TPCI-200 IndustryPack carrier board"
 	depends on IPACK_BUS
 	depends on PCI
 	help
 	  This driver adds support for the TEWS TPCI200 IndustryPack carrier board.
 	default n
	config BOARD_TPCI200
	tristate "Support for the TEWS TPCI-200 IndustryPack carrier board"
	depends on IPACK_BUS
	depends on PCI
	help
	This driver adds support for the TEWS TPCI200 IndustryPack carrier board.
	default n