Files for the IR remote control support:

  - irca.hex:       infrared code analyzer
                    Use it to determine key codes of different IR remotes

The IRTV library expects the IRTV sensor to be connected to the TPU channel
specified in the irtv HDT entry. At the cable, pin 1 is marked yellow and 
should point to the middle of the MK3 board.
