BaBBuino:
Butta un okkio sulle ChipKit di Digilent. Potenza (dei 32 bit) in abbondanza e la facilità di programmazione di Arduino.
Gie l'ho già sconsigliata ... XD
... lasciagli fare le ossa con Arduino, poi ... potrà passare ad altro, ma per una persona che inizia, è sicuramente più facile partire con la piattaforma di Arduino ! 
Guglielmo