There's other versions [0] of the same idea that uses a Raspberry Pi and a USB video grabber to do the same thing with any HDMI signal (you only need an HDMI sp

There's other versions [0] of the same idea that uses a Raspberry Pi and a USB video grabber to do the same thing with any HDMI signal (you only need an HDMI splitter and an HDMI to composite adapter). [0] https://github.com/gkaindl/ambi-tv https://github.com/gkaindl/ambi-tv