# CONFIG_DVB_DS3000 is not set
