[GAP] GNAT GPL for ARM and security contest

[Jamie Ayre]

Hello all,

I’m please to announce the availability of GNAT GPL for ARM. 

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 runtime routines, and the Ravenscar profile is a subset of the Ada concurrency features with an efficient, predictable, small-footprint implementation.

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:

http://docs.adacore.com/gnat-cross-docs/html/gnat_ugx_19.html#SEC187

Also, I know this is short notice but there is a contest I felt some of your students maybe interested in:

https://builditbreakit.org

Have a great summer,

Jamie