GNAT RTS for CORTEX

In each case, the board support for the RTS (configuration for size and location of Flash, RAM; clock initialization; interrupt naming) is in $RTS/adainclude.

Support for the on-chip peripherals is also included, in Ada spec files generated by SVD2Ada.

The Ada source is either original or based on FSF GCC (mainly 4.9.1, some later releases too).

(1) arduino-due is a Ravenscar-style RTOS based on FreeRTOS from for the Arduino Due.
See arduino-due/COPYING* for licensing terms.
On-chip peripheral support in atsam3x8e/.
Tests in test-arduino-due/.

(2) stm32f4 is a Ravenscar-style RTOS based on FreeRTOS for the STM32F4-DISC* board.
See stm32f4/COPYING* for licensing terms.
On-chip peripheral support in stm32f40x/.
Tests in test-stm32f4/.

(3) stm32f429i is a Ravenscar-style RTOS based on FreeRTOS for the STM32F429I-DISC* board.
See stm32f429i/COPYING* for licensing terms.
On-chip peripheral support in stm32f429x/.
Tests in test-stm32f429i/.

The standard packages included (there are more, implementation-specific, ones) are:

 Ada
 Ada.Containers   
 Ada.Containers.Bounded_Hashed_Maps   
 Ada.Containers.Bounded_Vectors 
 Ada.Exceptions 
 Ada.IO_Exceptions 
 Ada.Interrupts 
 Ada.Interrupts.Names
 Ada.Iterator_Interfaces
 Ada.Real_Time
 Ada.Streams
 Ada.Synchronous_Task_Control
 Ada.Tags
 Ada.Task_Identification
 Interfaces
 Interfaces.C
 Interfaces.C.Strings 
 System
 System.Assertions
 System.Address_To_Access_Conversions
 System.Storage_Elements
 GNAT
 GNAT.Source_Info