I am writing a Linux kernel driver (kernel 4.9) for our custom setup. We do use a ARM64 based board with a PCIe interface. Connected to the interface we have an extension board with a FPGA on it.
At this moment I succeed at creating a device that registers my FPGA with some basic functions...