astrobeed:
....In alternativa ci sarebbe anche la ottima Aria G25 di Acme System, azienda Italiana, dove puoi scegliere se usare il micro, un ARM9 @400 MHz, senza S.O. oppure metterci sopra una distro Linux, in particolare la Debian 6, ovviamente senza interfaccia grafica.
No no, o ci metto KDE o niente... 
Comunque grazie dei consigli. Il STM32F4 come si programma? C'è un framework per semplificare la vita, o quantomeno un RTOS, o tutto a livello HW?