GNAT GPL for Bare Board ARM is available now from libre.adacore.com. The package includes a tutorial and example project showing how to use Ada and GPS for the “STM32F4 Discovery” (Cortex-M4) ...