# CONFIG_DVB_IX2505V is not set
