yes it does. some software (and some monitors) get confused if they don't
actually have HDMI audio support, so there are kernel-based options which are
commonly-used to disable HDMI audio, but yes it works fine. CEC as well i
understand is fine, too.
yeah the A20 was designed to be a multi-purpose processor - tablet, TV, IPTV,
the works, which is why it has GbE and SATA, so that it could act as an
internet HDTV box. the box that made it really popular (especially among
hackers right the way back around 2010-2011) was the Mele A1000. tom cubie
bought a whole stack and sold them really cheap, it was funny because
allwinner bless 'em were trying to sell an EVB for $600 and tom, one of their
enterprising employees, knew someone at Mele and was able to sell them via
aliexpress to developers for... what... $50 or something mad? whoops... :)
anyway yes so this is why the 1080p60 hardware-accelerated video playback is
an important part of the A20... so _yes_ HDMI audio will work :)
bit of history now:
http://rhombus-tech.net/allwinner_a10/hacking_the_mele_a1000/