Hello, I'm looking for guidance What I have: * Intel x86_64 computer * PCIe card with FPGA on it What I want to achieve: * load an FPGA bitstream on the card * load a device-tree like description for the FPGA devices contained in the bitstream This is achievable on ARM with DeviceTree, overlay-dt, fpga-mgr; but I'm puzzled about the x86_64 use-case. I'm not able to find recent and clear information. Does anyone know if this is doable? Perhaps with ACPI SSDTs overlay? Or with the DT? thanks