# CONFIG_MEDIA_SDR_SUPPORT is not set