Cyclone V SoC SoCKit FPGA Triple Speed Ethernet


I am currently using the SoCKit for Cyclone V SoC and have tried out the HPS Etherent which works well.

However I am also looking at implementing the Triple Speed Ethernet core on FPGA Fabric and hoping to use the HSMC connector with this board (since the SoCKit has no FPGA-Ethernet connection):


What I am unclear of is whether I can use the HSMC pins with the TSE output signals? Has anyone else tried this out?

Any tips much appreciated!