GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain with fully symbolic debugging, and GPS, AdaCore's flagship Integrated Development Environment (IDE). It also includes a fully configurable/customizable run-time library consisting of the "Small Footprint" (SFP) and Ravenscar profiles that are particularly relevant to small embedded systems. The SFP profile corresponds to a language subset with minimal GNAT run-time routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation. The resulting Ada subset has expressive power well beyond that of other languages used for ARM-based devices.
The GNAT GPL for Bare Board ARM package includes a tutorial and example project showing how to use Ada and GPS for the "STM32F4 Discovery" (Cortex-M4) evaluation kit from STMicroelectronics.