Il existe beaucoup de tutoriels sur la toile pour ajouter une LED Infrarouge sur le Raspberry Pi mais il est intéressant de ne pas utiliser les pin par défaut afin de les laisser libres pour d'autres projets (dans mon cas il s'agit de les laisser libre pour mettre une horloge RTC qui m'empêche d'utiliser le PIN 12 [GPIO 18]).

Une petite image qui décris les PIN GPIO du Raspberry (cliquez sur l'image pour l'agrandir):

Au lieu d'utiliser les PIN 1 pour le +, 6 pour la masse et 12 pour l'entrée, on va utiliser les PIN 17 pour le +, 18 pour l'entrée et 20 pour la masse.

Remarque si vous n'avez pas bien compris l'image descriptive:

• le PIN 12 correspond au GPIO 18;
• le PIN 18 au GPIO 24.

Une fois le montage réalisé il suffit juste de rajouter dans le fichier rc.local (sudo nano /etc/rc.local):
[BASH linenumbers='false'] modprobe lirc_rpi gpio_in_pin=24 /etc/init.d/lirc start [/BASH]
Il vous restera plus qu'à configurer votre télécommande. (un exemple: Raspbmc : Utiliser une telecommande infrarouge)

Pour les actions de kodi dans le fichier ~/.kodi/userdata/keymaps/remote.xml
Kodi - List of built-in functions
Kodi - Opening Windows and Dialogs

Pour comprendre le fonctionnement de LIRC avec kodi vous avez aussi cette très bonne documentation:
Kodi - LIRC

Vous pouvez aussi utilisez des lircd.conf qui ont été fait pour certaines télécommandes ici:
Index of remotes

Si vous buttez vous pouvez toujours laisser un message.