This release includes GNAT Ada Run Time Systems (RTSs) based on FreeRTOS and targeted at boards

• with Cortex-M3, -M4, -M4F MCUs (Arduino Due,
• the STM32F4-series evaluation boards from STMicroelectronics.

In this release,

• There is no longer any dependence on the STMicroelectronics' STM32Cube package.
• The support for on-chip peripherals is limited to the SVD2Ada-generated spec files. The AdaCore 'bareboard' software (currently https://github.com/AdaCore/bareboard, but a name change is under consideration) supports the STM32 line.
• Tasking no longer requires an explicit start cortex-gnat-rts/tickets/5.
• Locking in interrupt-handling protected objects no longer inhibits all interrupts, only those of equal or lower priority cortex-gnat-rts/tickets/18.

https://sourceforge.net/projects/cortex-gnat-rts/files/20160522/