Build firmware with USBc support - SundanceMultiprocessorTechnology/VCS-1 GitHub Wiki
USB-c support
Recompile the kernel (Petalinux) with the following options on:
Device Drivers -> USB support -> USB Type-C Support -> <*> USB Type-C Port Controller Manager
Device Drivers -> USB support -> USB Type-C Support -> <*> Type-C Port Controller Interface driver
Device Drivers -> USB support -> USB Type-C Support -> <*> USB Type-C Connector System Software Interface driver