So excited to welcome ARM® Cortex®-M4-based on our high-end embedded system product lines. Here is the STM32F4 Discovery kit from ST, running Ada 2012 ! Just Amazing