我来自主要基于Altera / Intel的FPGA背景。英特尔提供了OpenCL SDK，该SDK允许将OpenCL内核转换为FPGA配置。对于集成了ARM的SoC，英特尔还提供了主机端驱动程序实现，允许从在ARM上运行的基于Linux的应用程序中调用内核，就像在连接到GPU上执行OpenCL一样进行操作主机。
现在我有一个用例，其中硬件平台是Xilinx Zynq SoC。我发现Xilinx提供了HLS编译器，该编译器也可以编译OpenCL内核以供在FPGA中使用。然后可以将这些通过Vivado附加到ARM。但是，我没有发现有关那些Xilinx系统的主机端OpenCL Linux驱动程序实现的提示，我发现的所有示例都是通过一些非常低级的机制来调用内核的。
我的问题：是否有我忽略了Xilinx提供的主机实现，或者我对Xilinx不提供任何OpenCL主机驱动程序是否正确？这样的主机驱动程序是否有任何可靠的第三方实现？