If you ever want to try the reverse direction, there are usb to hdmi chips with MS9132 as the converter chip. I do have a driver you might find useful: https://github.com/rhgndf/ms912x