Musí to být M4 s float point hw akcelerací ? Co s tím budeš dělat ? M3 od STM mají snad všechny A/D 12bit 1MSP… Nebo vem ten MAPLE, určitě k němu pujde připojit JTAG nebo SWD hlavice a používej to bez uina 
V nejhorším to tam můžeš nahrávat přes USART bootloader, kterej mají všechna STM32. Pogramování v C. Jaký bys asi tak potřeboval knihovny ? Prostředí nekomerční GNU - třeba ECLIPSE + ARM plugin.