This repository contains runtimes that add support for various boards to the GNAT GPL compiler for ARM.
To build the runtimes: make sure GNAT GPL is in your PATH, and then just invoke make or make all:
$ cd embedded-runtimes $ make all
Those runtimes can be either runtimes updated from the ones delivered with the compiler, or new ones.
To use such runtimes, in your project file, just reference them by their relative directory path:
for Runtime("Ada") use Project'Project_Dir & "../embedded-runtimes/ravenscar-stm32f769disco/sfp";