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