Docker image for Raspberry Pi with a REST api for HDMI CEC - View it on GitHub