drivers/staging/sep/Kconfig

config DX_SEP
	tristate "Discretix SEP driver"
#	depends on MRST
	depends on RAR_REGISTER && PCI
	default y
	help
	  Discretix SEP driver

	  If unsure say M. The compiled module will be
	  called sep_driver.ko