IRDA device recommendation to use with TinyCLR

I would like to create a control device for controlling my TV using an IRDA transceiver.

Can anyone recommend a device that will easily integrate with TinyCLR and the G80 chip?

Thanks,
Tony

There are many available.

Start here.

https://learn.sparkfun.com/tutorials/ir-communication

EDIT: Some old code from codeshare
https://www.ghielectronics.com/community/codeshare/entry/779

Pretty much any IR LED should be fine. Only question is whether your voltage on your IO will power the LED and you might need a transistor to drive it - but try it and see.