# CONFIG_DVB_M88RS2000 is not set
