said by Guspaz:
It's good that you've verified it, but it's worth noting that the set of codecs supported by a piece of hardware are not necessarily the set of codecs supported for playback in the real-world. Other factors can be in play, such as the development for a certain codec not being done, or a missing license. The reason the Raspberry Pi's accelerated DTS decoder wasn't released when it was finished is because the DTS people won't give them the time of day when they've been trying to buy a license.
All I was getting at is whatever you were looking at and the marketing materials I have seen to date were not clear about what codecs are supported. All too often that stuff is not very clear as to what is supported. Looking around these codecs were supported even from the first firmware release for the Boxee Box.