I bought a Broadcom Netxtreme II dual port network card (BCM5709) for the TX1 PCIe slot, but lspci does not not list it and so the bnx2 driver doesn’t see it. The card itself is good.
What could cause a PCIe device to not show up on the TX1 dev board via lspci?