The GECKO4-Education-epfl platform contains an Infrared interface as indicated in the below figure.
Serial Infrared Transceiver SIR TFBS4711
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.
