> it absolutely boggles the mind that an HDMI output for this thing would be taken care of by an RPi There's a much much easier way: https://www.bytedelight.c

> it absolutely boggles the mind that an HDMI output for this thing would be taken care of by an RPi There's a much much easier way: https://www.bytedelight.com/?product_cat=videoaudio https://www.bytedelight.com/?product_cat=videoaudio The HDMI licence costs quite a lot. It's much cheaper for small runs to use a device with one onboard, and let it emit the very expensive signals.