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 19:29:55 +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 1483558195 20908 156.17.86.1 (4 Jan 2017 19:29:55 GMT) X-Complaints-To: abuse@news.pwr.wroc.pl NNTP-Posting-Date: Wed, 4 Jan 2017 19:29:55 +0000 (UTC) Cancel-Lock: sha1:eC2dlegeNsI/pyEw8q7c0IB+I5Y= 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:33051 Date: 2017-01-04T19:29:55+00:00 List-Id: 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. -- Waldek Hebisch