use infrared receiver on 6440

Does anyone know how to use infrared receiver that comes with 6440 board?
I would like to use it to design a remote control based system.
I searched everywhere on this forum, but to my surprise,there is no post on
infrared receiver..!!!

Didn't see anything immediately obvious here but a good tutorial source is:

http://processors.wiki.ti.com/index.php/Category:Linux