Hi All, I'm planning to buy an Epsilon Rikomagic MK802 IV to use as a VDR server / frontend. It's based on a Rockchip RK3188 (Quad core cortex A9@1.8GHz, quad core mali 400@533MHz) I wonder if this device can play full HD movies in linux. Does it uses the CPU for this, or does it use the mali cores, keeping the CPU free for other things? Best regards, Cedric