yes - but for exynos or allwinner 10 you dont even have that shim :( - thats what i meant - you basicly cant run XBMC on linux on those with acceptable performance as of today.
Im hoping this situation will change soon, but it looks like there is no interest by soc vendors to provide necessary tools.
I know this works on pandaboard and some others, but those boards are about 150$ range if i remember correctly.
Hmm Allwinner A1X and Exynos 4412 both have integrated Mali 400 GPUs, so there should be at least some GPU support on Linux [1].
There is an unofficial XBMC port for A1X devices which supports the HW Video Decoder of the SOC [2]. I have an A10 device at work, but unfortunately won't be in the office to play around with it for some time.
I know this works on pandaboard and some others, but those boards are about 150$ range if i remember correctly.