Cheap 32-bit ARM boards, sure. Cheap 64-bit ARM devboards? I'm not aware of any on the market just yet... In a year's time your statement will probably be corre

Cheap 32-bit ARM boards, sure. Cheap 64-bit ARM devboards? I'm not aware of any on the market just yet... In a year's time your statement will probably be correct but I don't think it is just at this moment.