Send IR data from microSDcard
See
Save IR data into microSD card
You need Infrared LED module(prototype).
goto Sopping site

Notice : This board has typographical error. Don't use FET, useTransister.The pin assignment is opposite.
I make modified versions of this module. coming soon...
Test program on mbed site(Normal CS setting)
Test program on mbed site(White Wizard CS setting)
You need
micro SD card module(p 5 - p 12)
Infrared LED module (p 21 - p 25)
Then just build like a picture.

