From the Jetson TX1 OEM Product Design Guide tables 10 and 11 I see that there is a configuration mode where one could configure the TX1 module to provide PCIex1, PCIex4, USB_SS#1, USB_SS#0, AND USB_SS#3 (mux’d on the SATA pins). At least that is what Table 10 shows. Table 11 only shows 1 USB 3 port in that case.
So the question is, what is the difference between those tables? I’d be making my own carrier boards so I wouldn’t be limited to the h/w of the reference carrier board.
Also, there is a note about muxing the USB_SS#3 and SATA pins and that it was verified at the chip but not on the module and that software would have to support it. Has there been any recent change to that? Has anyone been able to get this to work? If so, how?