Summarizing this thread:
- I paid for a device with a properly licensed hdmi port. It runs linux. So patent exhaustion applies, at least in the US. I can say ignore the patents to make my property work.
- I have no relationship to the HDMI people. (Never entered into a contract with them.)
- The links to the spec are here. (Trade secrets/nda no longer apply. This is the problem with using trade secrets to protect your stuff.)
- If I point a coding assistant (assume open weights/source) at this thread, and a copy of linux main, it can probably just fix the damn driver.
- I could probably publish my patch with a big fat “only for use with licensed hdmi hardware, not for resale” disclaimer on it.
At that point, what law would I have broken?