Download Latest Version cortex-gnat-rts-20160522.tar.gz (2.4 MB)
Email in envelope

Get an email when there's a new version of Cortex GNAT Run Time Systems

Home / 20150124
Name Modified Size InfoDownloads / Week
Parent folder
stm32f4-gnat-rts-20150124.tar.gz 2015-01-24 979.5 kB
0
README 2015-01-24 1.1 kB
0
Totals: 2 Items   980.6 kB 0 
This project contains various GNAT Ada Run Time Systems (RTSs)
targeted at the STM32F4-series evaluation boards from
STMicroelectronics (http://www.st.com). A particular release may not
contain all of the RTSs.

(1) ravenscar-sfp-stm32f4 is AdaCore's package for the STM32F4
    Discovery distributed with the GNAT GPL 2014 Linux-based cross
    compiler.

    Demos in demo_leds-stm32f4/.

(2) ravenscar-sfp-stm32f429i-disco is (1) modified at
    https://github.com/gnlnops/gnat-stm32f429i-disco for the
    STM32F429I Discovery.

    Demos in demo_leds-stm32f429i-disco/.

(3) stm32f429i-disco-bsp is based on the ST Cube BSPs from
    STMicroelectronics. The source code written for this RTS has the
    GPL Runtime Library exception.

    See stm32f429i-disco-bsp/COPYING* for licensing terms.

    Demos in demo-stm32f429i-disco-bsp/.

(4) stm32f429i-disco-rtos is a Ravenscar-style RTS based on the ST
    Cube BSPs from STMicroelectronics and their packaged FreeRTOS
    kernel. The Ada source is based on GCC 4.9.1.

    See stm32f429i-disco-rtos/COPYING* for licensing terms.

    Demos in demo-stm32f429i-disco-rtos/.
Source: README, updated 2015-01-24