This project contains various GNAT Ada Run Time Systems (RTSs) targeted at Cortex boards: so far, the Arduino Due, the STM32F4-series evaluation boards from STMicroelectronics, and the BBC micro:bit (v1)
Why do you think that https://github.com/rvl13/stm32-startup-code-ada is a good alternative to cortex-gnat-rts