Are dsd-1.4.1-src.tar & mbelib-1.2.3-src.tar (Digital Speech Decoder 1.4 Copyright (C) 2010 DSD Author) the latest & greatest for Linux?
Why not the RaspberryPi, please?
What about the BeagleBone-Black?
Did you post details as to your MK808 success?
I have my own versions of DSD.
Raspberry pi is too slow.
BeagleBone-Black will also be too slow.
Cortex-A9 dual core (RK3066) @ 1.6Ghz is about the minimum CPU you need.
Whatever you use I found it easiest to compile a custom kernel with oss enabled rather than using pulse audio.
I have it running ok on the MK808, it does have an occasional crash but is pretty good.
I also tried to get it running on a Nexus 7 with ubuntu installed but pulse audio wouldn't play ball and I never got round to trying to compile a custom kernel for it.
I picked up a cheap tablet last week with an RK3066 CPU in it, not had time to try that yet though.