Links

hoglet67/RGBtoHDMI

github.com

Bare-metal Raspberry Pi project that provides pixel-perfect sampling of BBC Micro video and conversion to HDMI