find types of ARM board here: http://www.quickembed.com/Tools/Shop/ARM/Index.html They provide linux support, like mini 2440 and it is said that also android is supported by 6410 now!