avete visto la nuova ST Nucleo F401?
Oltre all'elevata frequenza e alla grande capacità di flash e RAM è compatibile con le shield arduino (quasi tutti i pin dovrebbero essere 5V tollerant) e in più ha un sacco di porte SPI/USART/I2C.
Ma il grande vantaggio sono le librerie mbed! Oltre alle varie funzioni sui timer c'è anche un RTOS che sembra ben fatto...
E come se non bastasse l'SDK ufficiale (quindi tutte le varie libreire ufficiali) sono fornite sotto licenza Apache Versione 2.0 quindi sono utilizzabili per scopi commerciali...