AdaCore today released a freely downloadable version of its GNAT GPL Ada cross-development environment for Bare Board ARM Cortex processors. Students, professors and other developers of non-proprietary software can now exploit Ada 2012’s reliability, safety, and security benefits for ARM applications.
GNAT GPL for Bare Board ARM Cortex processors provides a complete Ada 2012 development environment, including a comprehensive tool-chain 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 safety-critical 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.
Fully featured releases of the GNAT technology are already available for GNU Linux, Mac OS X, and Windows.
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) evaluation kit from STMicroelectronics. Additional Ada tutorials can be accessed via AdaCore University.