So which players (built-in video player, mplayer, vlc) are able to offload some of the decoding work to the DSP? Does the DSP offer any hardware acceleration for decoding other formats than H.264, say MPEG2?