Thank you everyone for their input. Rikomagic makes a mini PC with the RK3288 and linux. Do they develop their own linux versions? I've looked into all of the popular dev boards (like odroid, beagleboard, cubietrack, Radxa etc) and even though they look promising, they always lack something. In any case, even though I wanted to give ARM a chance and own one of these tiny PC's (with all their benefits), I think I'll just opt for an x86 mini pc platform for 50 euros more and avoid any productivity issues |