Dev kit USB ports: 3.1 Gen 1 or Gen 2?

On the dev kit, are the two USB Type C ports 3.1 Gen 1 (5Gbps max) or Gen 2 (10 Gbps max)?

Further, are there any throughput benchmarks?

The USB-C would be gen. 2. FYI, if you run “lsusb -t”, then there will be a number at the end of each device line (the “root_hub” is the actual port). “10000M” is the 10Mbit/s USB-3.1 gen. 2, while a response of “5000M” is USB-3.1 gen. 1 speed of 5000Mbit/s. Any response of “480M” is USB2. Mice and keyboard might show up as USB1 or 1.1.

Thanks! That’s super helpful.