Raspberry Pi port, piCore-15.0 is available!
Tinyp. i think it's possible, my netbook (is an atom, not ad arm) consume 10w measured with wattometer