The GECKO4-Education-epfl platform contains an Infrared interface as indicated in the below figure.
The datasheet of this SIR can be found here.The control pins of this IRDA which are connected to the FPGA are listed in the table below. An example tcl-file that can be used with Quartus can be found here.
IRDA | FPGA pin number |
IRDATX | PIN_AA21 |
IRDARX | PIN_Y22 |
IRDASD | PIN_Y21 |