Aquantia 10Gb NIC

I have a dual 10Gb card - OWC 2-Port 10G Ethernet PCIe Network Adapter... at which is a * Marvell AQC113CS.

Anyone got this to work on NixOS? I get Ethernet identifiers - in this case enp8s0 and enp9s0

I’m not sure which stage of Ethernet access, and NixOS config I have achieved, so awkward to work out where the lack of config may be…

Amy help appreciated!