# CONFIG_WLAN_VENDOR_MARVELL is not set
