From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=unavailable autolearn_force=no version=3.4.4 Path: eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail From: Simon Wright Newsgroups: comp.lang.ada Subject: Re: Interfacing Ada With Full Runtime Directly to Electronic Chips Date: Wed, 04 Jan 2017 20:51:19 +0000 Organization: A noiseless patient Spider Message-ID: References: <9ca07b79-db85-4d4a-b082-61cd75fcc1c8@googlegroups.com> Mime-Version: 1.0 Content-Type: text/plain Injection-Info: mx02.eternal-september.org; posting-host="abd8a16d3b0bc13740f3e1f6eb6a6441"; logging-data="1847"; mail-complaints-to="abuse@eternal-september.org"; posting-account="U2FsdGVkX1/az9B2hux6mWUpm4UCSLg5QEPAqxvCrBw=" User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/25.1 (darwin) Cancel-Lock: sha1:PudxDZfcl+nye0tmYiSPD80oRfI= sha1:WblLru0rH/8Vbl/UseKScyKMejs= Xref: news.eternal-september.org comp.lang.ada:33053 Date: 2017-01-04T20:51:19+00:00 List-Id: antispam@math.uni.wroc.pl writes: > Simon Wright wrote: >> >> Both of the above use OS device support via file read/write/ioctl. If >> you want to go bare(ish) metal, there is the AdaCore Ada_Drivers_Library >> at [4]. This uses cross-compilation for ARM Cortex MCUs, compilers from >> AdaCore (or [5], [6] for Mac), with runtimes for boards mostly from >> STMicroelectronics (e.g. [7]). >> >> The AdaCore runtimes support Ravenscar tasking[8] and come in two >> flavours, small footprint (-sfp-) and full (-full-). The -full- version >> supports exception handling and finalization and includes >> Ada.Numerics. Neither support containers (easy enough to copy into the >> -full- version, I expect). >> >> The Ada_Drivers_Library uses a BSD license. The AdaCore runtimes use a >> full-GPL license. If this matters to you I have runtimes for Arduino Due >> and STM32F4[9] which are based on FreeRTOS and have the GCC Runtime >> Library Exception, allowing release of code on proprietary terms. > > IIUC STM runtimes are incompatible with GPL. So combining them > with GPL runtime means that result can not be distributed at > all. Do you have a reference for this? the STM source licence that I see in the STM32Cube firmware releases imposes very few restrictions on the actual use of the software, only requiring inclusion of the STM copyright notice. There's nothing like the restriction quoted in [1]. But in any case the RTS I'm talking about doesn't use any STM code, just FreeRTOS. Which uses a GPLv2 licence, which doesn't include the usual "or later version" test. Which may be a problem. [1] https://github.com/d-ronin/dRonin/issues/928