Cloud FPGA support

Hi,

We want to use TVM for our ADM-PCIE-KU3 (Xilinx Kintex UltraScale) FPGA board. I wanted to ask if TVM supports server-class FPGAs (PCIe connected)? Does it provide the required driver support?

@thierry @liangfu

Thank you