The RGB2HDMI adaptor takes the digital video signals from Denise and uses a Raspberry Pi Zero to convert these to an HDMI output. In addition, the logic is upgradable from the Pi for any future bug fixes.
eBay