https://sourceforge.net/projects/gnuada/files/GNAT_GPL%20Mac%20OS%20X/2016-arm-eabi-darwin-bin/
The runtimes from the AdaCore gnat-gpl-2016-arm-elf-linux-bin are
included:
- ravenscar-full-stm32f4
- ravenscar-full-stm32f429disco
- ravenscar-full-stm32f469disco
- ravenscar-full-stm32f7disco
- ravenscar-full-tms570
- ravenscar-sfp-stm32f4
- ravenscar-sfp-stm32f429disco
- ravenscar-sfp-stm32f469disco
- ravenscar-sfp-stm32f7disco
- ravenscar-sfp-tms570
- zfp-lm3s
- zfp-stm32f4
- zfp-tms570