I'm trying to map the K24 IO carrier Syzygy TXR pins but I've hit an issue that I don't know how to work around and wanted to see if anyone has a suggestion. Pins 5-13 and 15 of the Site 1 and Site 2 HSIO ports appear to map to GTR pins which are locked to the PS DisplayPort signals. I though this was a standard SZG TXR port, but it appears to be some custom non-Syzygy port, perhaps only for use with the Avnet provided peripherals? I'm trying to use a 3rd party Syzygy device and I don't see any way to make this work. If there is no workaround, then the HSIO "Syzygy" ports are fairly useless on this board.

