Hello Zac,
Ethernet is connected via an integrated PHY
WiFi is connected via SDIO
So neither depend on the USB bus, and there is no contention here when you are using USB devices such as a hard drive.
The Vero 4K supports up to 433Mbits 802.11ac; however real world performance always guarantees that you will achieve less than this. I get an average of about 200Mbps with iperf, which is sufficient for playing back very demanding content.
We found that Gigabit Ethernet caused some issues, particularly with flow control, which isn’t always handled well with consumer equipment.
There aren’t any ARM based SoCs that support USB 3 at this time.
Cheers,
Sam