Hello S,
There is a IRDA example aobut twr-k40d100 board,
..\Freescale\Freescale_MQX_4_2\mqx\examples\irda\receiver\build\cw10gcc\irda_serial_receiver_twrk40d100m
About the MQX4.2, you can download and install refer to here :
Now Available: Freescale MQX RTOS v4.2
Hope it helps
Alice