# CONFIG_USBIP_CORE is not set
