I need to read up a lot on HDMI, USB Video Class and ECP5 SERDES. I think I'll be writing the code in nMigen, because why not. Pixel formats. Haven't really poked at anything other than RGB565, RGB888 and RGBA8888 (premultiplied and not).. But the various...