There is one other possibility:
http://wiki.matthiasbock.net/index.php/Hardware-accelerated_video_playback_on_the_Raspberry_PiAccording to this page, a little extension to (which is already in the rep) gstreamer-1.0, called gst-omx, can make HD enabled video play possible.
May be a much easier to compile method to bring HD video play to work than the omxplayer.
The command which plays a video: gst-launch-1.0 playbin uri=big_buck_bunny.avi
I will try that today or next week, if successful I will create a gst-omx extension with gstreamer-1.0 as depency.
EDIT:
I was unable to bring gst-omx to compile, also omxplayer failed. Also using the precompiled version from
http://omxplayer.sconde.net/ failed, the time I realized it is not Windows, static library distribution-independent builds may be possible though, but nobody created them so far.
At least I was able to steal rox-filer from the debian sid armel repository, I will submit the extension the next week, it is only dependent on gtk2. I will now also try to install the newest raspian, and copy omxplayer with all needed .so files into a tcz, which will just work in piCore then, hopefully.
If yes, I will submit omxplayer too.
The extensions i will commit:
rox-filer - FINISHED (copied from debian)
mplayer - FINISHED (compiled, but not fast enough for HD videos)
omxplayer - working on, no success so far
fluxbox - working on, no success so far
and maybe, but I'm sceptical if I can bring it to work, since ./configure make is the same lotto game as stealling binaries from other distributions:
Midori (not tried yet)