I have been developing a carrier board very similar to the Xavier dev kit and have been having considerable problems with the USB C subcircuit. Essentially, I have no problems programming the Cypress 4226 chip itself using the PSoC programmer (programs, verifies flash and checksum) but whenever I power cycle my carrier board, it seems that my 3.0 device attached on the type C port will not enumerate again as 3.0 device (i.e. it reverts back to 2.10 device after being 3.0 before power cycling and switches USB buses) until I program the Cypress again.
I realize this isn’t directly related to the GPU or the dev kit board but my type C circuit is essentially exactly same as the dev kit with the exception of not using the 2nd port functionality. Any help would be appreciated as this is very confusing. I’ll be glad to further elaborate if necessary.