Was dann noch fehlt ist der IRDA Stack.

Den gibts entweder als Hardware ...
http://www.farnell.com/datasheets/41265.pdf

... oder als Software (für ATMEL)
http://blaulogic.com/pico_irda.shtml