Raspberry Pi with infrared receiver