AdaCore recently released a GPL version of their ARM bare board Ada eco-system.
A how to:
Libre: Free Software and Open-Source Development with Ada (AdaCore)
Select "GNAT GPL" Expected: Download GNAT GPL and SPARK GPL Editions
Select the "Free Software or Academic Development" button.
Select the "Build Your Download Package" button at page bottom. Expected: "Select Configurations ..." in the title bar.
At mid-page, "Select your platform:" pull-down menu, select a combination of target (ARM ELF) and host (Linux or Windows) for "GNAT GPL 2014" (next pull-down menu). Expected: GNAT Ada GPL 2014
Select "GNAT Ada GPL 2014". Expected: Possible files in your download. These files are a readme, the install, and multiple source code archive files.
For each file in the download, select the box next to its file name. Expected: Each box contains a check mark.
At the page's bottom, select the download's "Bundle format:" radio button then select the "Download Selected Files" button. Expected: dependent on the web browser.
Notes: Based on GCC 4.7
Targets: ARM Cortex-M3, ARM Cortex-M4F, ARM Cortex-R4F.
Further information in the ARM Cortex-M4F part of the GNAT Cross User's Guide:
Q. Tutorial: Embedded ARM Ada Project (AdaCore, documentation, GNAT Pro User's Guide Supplement for Cross Platforms)
More:
GNAT GPL for Bare Board ARM (AdaCore, Libre)
Though 2 years old this demonstrates some of this post: Installing GNAT GPL Edition (AdaCore05 on YouTube)