Sure but you can't legally sell a product using the leaked keys AFAIU. Plus this supports 4K (albeit at 30 Hz). This board is built around what appears to be a fully legit HDMI chip with HDCP compliance best I can tell (MS2130? Github page also mentions a couple other related chips... one of them has to be the HDMI chip), though I'm having trouble finding a datasheet link because Google is dominated by this Hackaday page.

Why the HDCP people tolerate such a chip/don't tightly control who can buy it is what I'm asking... I'm guessing maybe this is an "off label" use of a chip that was meant for more mundane HDMI decoding uses. Which kinda illustrates why HDCP is silly and an annoyance for consumers that doesn't really stop the "real" pirates making content rips people are downloading.

Though I didn't intend this as a loaded question, I might totally misunderstand what's going on technically speaking and would love for someone who knows about this to explain.