Thanks for the response. The issue I’m seeing is not with the S3, but with the XMOS itself. When I plug that port in, nothing is detected in Windows or Linux. lsusb shows nothing new. I do have a second one that works fine.
Is it possible to put the XMOS XU316 in boot mode so it is actually detected to upload the firmware? Can it be programmed with FTDI?