Re: ANN: STM32F4 GNAT Run Time Systems 20150204

[Tero Koskinen <tero.koskinen@iki.fi>]

5.2.2015, 13:26, Simon Wright kirjoitti:
> This is the third release of a GNAT RTS with the GCC Runtime Library
> exception for STM32F4 boards.

Nice to see people working actively on this area.

> This is an Ada Runtime System (RTS) for the GCC Ada compiler (GNAT),
> targeted to the STMicroelectronics STM32F429I Discovery board (see
> http://www.st.com/).
..
> The RTS is intended to support commercial binary distributions[2]. The
> Ada source code has either been derived from FSF GCC (4.9.1) or
> written for this work; see the files COPYING3 and COPYING.RUNTIME.
..
 > o The linker script stm32f429i-flash.ld is under an MIT licence: see
 >    COPYING.MIT.

I found that some MCU(STM32F4) specific packages use plain GPL, like
http://sourceforge.net/p/stm32f4-gnat-rts/code/ci/default/tree/demo_leds-stm32f4/src/stm32f4.ads

Was this intentional?

Personally I would prefer BSD/ISC/MIT for all possible parts, like
you have done for the linker script.

For example, see my STM32F4 package:
https://bitbucket.org/tkoskine/gnat-arm-app-skeleton/src/ab141a07860925a7c19d333c30b6084a041d9325/stm32f4.ads?at=default

> The RTS has been built with no optimisation (-O0) and for debugging
> (-g), using GCC 4.9.1 for arm-eabi-darwin13-bin[1] on Mac OS X (it
> should work out of the box (but after recompilation!) with a
> Linux-hosted cross-compiler.

If someone has time, Ubuntu/Debian/Fedora packages would be nice. :)

For AVR-Ada, I have tried to provide unofficial packages[1,2] which
can be installed with apt-get/yum and then hello world project
works out of the box:
  apt-get install avr-ada
  cd hello-avr-ada
  avr-gnatmake -XBOARD=arduino_uno hello

Similar procedure for ARM/STM32F4 should be doable (although
takes some time).

> [2] STMicroelectronics' evaluation product licence agreement at
> www.st.com/epla forbids the sale of products including this board, so
> this work would have to be reconfigured for a different board anyway.

Olimex sells many different STM32Fx boards which don't have this
restriction. I have used[3] STM32-P405 and STM32-E407[4] boards.

Yours,
  Tero

[1] http://ubuntu.ada-language.com/
[2] http://fedora.ada-language.com/
[3] 
http://tero.stronglytyped.org/running-ada-2012-on-olimex-stm32-e407-arm-cortex-m4-stm32f4.html
[4] https://www.olimex.com/Products/ARM/ST/STM32-E407/