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!.POSTED!not-for-mail
From: Brian Drummond <brian@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: How to configure GNAT GPL on x86-64 Linux for ARM ELF development
Date: Fri, 25 May 2018 10:50:07 -0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <pe8pov$l7u$1@dont-email.me>
References: <pe327n$28f$1@dont-email.me> <ly7enuhk14.fsf@pushface.org>
	<pe5q0h$617$1@dont-email.me> <pe6a7a$pu2$1@dont-email.me>
	<pe84cr$ten$2@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 25 May 2018 10:50:07 -0000 (UTC)
Injection-Info: h2725194.stratoserver.net;
 posting-host="e50b1779a518571ef29c32de972b108c";
	logging-data="21758"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19PbZuHVMLXcPa1pfKWbe3GqONCbzoJEkQ="
User-Agent: Pan/0.141 (Tarzan's Death; 168b179 git.gnome.org/pan2)
Cancel-Lock: sha1:l4OVq5LwWtXLAV9STP8ck+LIdn0=
Xref: reader02.eternal-september.org comp.lang.ada:52669
Date: 2018-05-25T10:50:07+00:00
List-Id: <comp.lang.ada>

On Fri, 25 May 2018 04:45:16 +0000, Adam Jensen wrote:

> On Thu, 24 May 2018 12:12:26 +0000, Brian Drummond wrote:
> 
>> The error you saw "Cannot find system.ads" and Simon's answer arise
>> 
>> SPARK qualification would be excellent ... again, especially for the
>> Hercules. And again, a SPARK proven ZFP RTS would be a good base to
>> build on, and a relatively simple place to start.
> 
> Is it common for developers to create their own run-time system for
> embedded platforms? My inclination would be to look for hardware based
> on 1) RTS availability/quality and 2) toolkit complexity/completeness
> (completeness implies useful documentation). 

Not common, no. But RTS availability (esp. SPARK RTS) has to start 
somewhere, and for the MSP430 I didn't really develop one, just adapt 
from AVR-Ada.

With remarkably little feedback on that project, I admit I've put 
remarkably little effort into pushing it further. But I want it for my 
own purposes, the watch is just a pretty by-product.


> Given that, which seems
> like an obvious thing to do, I am surprised that Adacore does not have
> more apparent associations with hardware vendors where dev-kits and SBC
> products are promoted. I bought the Nucleo-144 board because I thought
> there was a BSP, RTS, and a tool-chain configuration tutorial. That
> turned out to be a bit of a mistake and generally a poor choice. 

Not Adacore ... there isn't much hobbyist money for them, given their 
business model. They do publicise occasional hobby-level projects like 
Lego Mindstorms and Certyflie, but I don't see them making money off it.

Meanwhile we have to support each other, perhaps your work on Nucleo can 
feed back into Simon's RTS and expand its supported platforms.

-- Brian