I have built and booted Linux, but it doesn’t recognize PCIe network card (supported Realtek). I have examined boot terminal log and found:
[ 10.440000] xilinx-pcie-rv pcie: PCIe Link is DOWN
This entry appears with and without connected card, with external FMC card power supply as well with onboard supply via VC707.
Have someone encountered similar problem?