Verdin DSI to HDMI Adapter | Toradex Developer Center
B-LCDAD-HDMI1 DSI to HDMI Adapter Board - STMicro | Mouser
Greg on Twitter: "Can't find a stocked, NDA free, MIPI DSI -> DVI/HDMI converter IC? Just build your own with an FPGA 😅 Will need some gateware, but otherwise a pretty simple