I have an R-Pi and an mk802. I run linux on both. While the mk802 is faster for most general things (compiling, serving web pages, etc) the R-Pi beats it as a media player due to the fact the mk802 video drivers haven't been released.

http://liliputing.com/2012/07/allwinner-pledges-support-for-...