Infrared Transmitter and receiver hardware on Carberry is ready.
Infrared subsystem will be implemented in following firmware releases.

Actually, IR codes received by IR Sensor are relayed to pin 12 of Raspberry Pi header, to drive LIRC on Linux systems.

Also, IR codes received by IR Sensor are relayed to IR led on Carberry.