I've searched both google and this forum. There are lots of youtube videos showing the pi playing big buck bunny in 1080p. But I can never find out that player is used.
I've tried both mplayer and vlc and under the latest debian image the CPU load is 100% and the video very choppy. Are there any video players (except openelec/xbmc) that works accelerated under the PI?
And arguments I need to pass to mplayer/vlc to make them use the correct driver?