PCIe FPGA and Thunderbolt to PCIe interfaces

Hi, Did anyone try using a pcie fpga board over thunderbolt? I am trying to run some OpenCL code, but "aocl diagnose" doesn't seem to work. Fails trying to communicate over the PCIe bus. Dri...