Earlier quoted context omitted.
Yup, $10k/year and $.15/unit. It doesn't look like it's mandatory, though; the language on the site[0] is really hard to decipher. I imagine that they're not going to prosecute one guy for using a chip in his personal build. Obviously the Raspberry Pi guys are getting around this somehow, though; I'd be curious to know how. [0]: http://www.hdmi.org/manufacturer/adopter_registration.aspx
Aren't the chipmakers like Broadcom (for rPi) and Freescale (the i.MX in Bunnie's design) taking the burden of this licensing fee? It would be a lot easier for them to roll the $0.15 into their part costs than hassle their customers with taking care of this licensing.
That makes a lot of sense. Thanks!