Got me a new AQC113-based USB4 NIC, yet for some reason I can’t make it work at 10Gbps. So far it can only do 5Gbps. The manufacturer recommends installing the driver (07-18-24_Marvell_Linux_2.5.12), which, I am guessing, has not yet become part of the Linux kernel. How can I install it though?