Can't use PCIe to USB3 adapter with dev kit

Hi,
Do you plug in the PCIe card and boot? Or hotplug the card? We don’t support the hotplug case as mentioned in