barrel-type power supply and no linux support? I'll go with raspberry pi. Pity odroid C2 shipping cost is $16. If not, it can be another alternative.