I would be interested in understanding how the plugin modules work with this design more. Do you have any renders of that?

I'd be interested to know how you went with UHS-II stuff?

On the topic of firmware management, as you have multiple different images parts and versions, it is really important that you embed as much version information into each part as possible.

I'm very interested in getting a KiCad version of your HDMI beta module. Maybe you could start with attempting to do that?

You might want to take a look at http://libcec.pulse-eight.com/

So, we have been trying to do something like this for the HDMI2USB-misoc-firmware, you can see our instructions at https://github.com/timvideos/HDMI2USB-misoc-firmware/tree/master/scripts