RADXA Rock Pro and Rock Light (ARM Development Boards)
radxa.com
radxa.com
There's been some efforts to reverse-engineer the Mali 400 and write open drivers for it. I'm not sure if they're still making progress or if the project stalled though.
The ODroid seems more of a tinkering device:
- no polished media related distribution as far as I could tell (the usual solution is running Debian or something and automatically launching xbmc, as root more often than not in the couple things I tried)
- no way to fix the hdmi output (i.e. overscan issues) - whereas the Pi has a simple text configuration file for that.
What I'm trying to say is: More hardware power doesn't actually give you a better experience..
I've added XV support[0] for video resizing and colorspace conversion, after which mplayer compiled with NEON support and with multithreading could decode in software pretty much any video I've thrown at it.
Things could have significantly improved since then, but I've been out of the loop.
However, I would strongly recommend just going for a Jetson-TK1 - I happen to be posting this from one. You get a fairly comprehensive reference manual and NVIDIA fully supports GNU/Linux (albeit with proprietary Xorg drivers at the time), the ARM cores (Cortex-A15 @ 2.3GHz) are much faster, the GPU supports full OpenGL (as opposed to OpenGL ES) and NVIDIA and the community are working on a fully open source driver stack (with nouveau).
[0] https://github.com/lgeek/xf86-video-fbturbo - very much abandoned alpha-quality software