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.
RGB to HDMI RGBtoHDMI Adapter Amiga 2000 (LinuxJedi) CPLD v2.1
Amiga 2000 RGB2HDMI Video CPLD V2.2 Raspberry Pi RGBtoHDMI Adapter RGB to HDMI
Amiga RGB to HDMI Adapter RGB2HDMI Fully Assembled RGBtoHDMI Raspberry Pi 2000
Amiga RGB to HDMI Adapter RGB2HDMI Raspberry Pi for Amiga 500 500 Plus RGBtoHDMI
RGBtoHDMI CPLD board & bare cable, uncased Video converter/adapter HDMI output
RGBTOHDMI Analog to RCA (Composite)