PCIe not working on Verdin Development Board

Hello @armin.schmidt ,

According to this topic you could safely ignore this message.

Best regards,
Josep