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!feeder.eternal-september.org!news.unit0.net!news.nask.pl!news.nask.org.pl!newsfeed.pionier.net.pl!pwr.wroc.pl!news.wcss.wroc.pl!not-for-mail From: antispam@math.uni.wroc.pl Newsgroups: comp.lang.ada Subject: Re: Interfacing Ada With Full Runtime Directly to Electronic Chips Date: Wed, 4 Jan 2017 22:05:21 +0000 (UTC) Organization: Politechnika Wroclawska Message-ID: References: <9ca07b79-db85-4d4a-b082-61cd75fcc1c8@googlegroups.com> NNTP-Posting-Host: hera.math.uni.wroc.pl X-Trace: z-news.wcss.wroc.pl 1483567521 26430 156.17.86.1 (4 Jan 2017 22:05:21 GMT) X-Complaints-To: abuse@news.pwr.wroc.pl NNTP-Posting-Date: Wed, 4 Jan 2017 22:05:21 +0000 (UTC) Cancel-Lock: sha1:kPG5lzsUrrY9RKzBLR3nNmItWjg= User-Agent: tin/2.2.1-20140504 ("Tober an Righ") (UNIX) (Linux/4.6.4 (x86_64)) Xref: news.eternal-september.org comp.lang.ada:33056 Date: 2017-01-04T22:05:21+00:00 List-Id: Simon Wright wrote: > 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 I did not look at STM32Cube (they make download awkward and I do not need most of it). Most of parts that I was able to download outside of STM32Cube contain the restriction to STM devices mentioned in [1]. AFAICS some STM libraries are only available as C headers + binary blob. Good to hear that you are independent of STM code. -- Waldek Hebisch