Antmicro's open hardware HDMI into MIPI CSI-2 converter - View it on GitHub