TIL that the HDMI specification is not public, so it's hard to write OSS drivers: https://www.phoronix.com/news/HDMI-Closed-Spec-Hurts-Open