It's another really cool Raspberry Pi project. There's a bunch of stuff I want to do with the Amiga and raspberry pi.
For all Amiga versions that produce a 12-bit color video signal, this signal can be convert to pixel-perfect HDMI using the RGBtoHDMI system. There are now quite some different ways available to wire this all together.