Considering buying and question on the PCIe slot

[jgalak]

I'm was hoping to use mine with my new PCIe based XTRX SDR (Software Defined Radio). But at first attempt the driver did not compile on arm64. So it seems like some debugging is required. But at least it's detected:

Code:

root@rockpro64:~# lspci
00:00.0 PCI bridge: Rockchip Inc. RK3399 PCI Express Root Port Device 0100
01:00.0 Memory controller: Xilinx Corporation Device 7012

Hey @zener, did you ever get this working?  I was looking at this board specifically to use with an Xtra, so hoping someone has blazed the trail