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,FREEMAIL_FROM
	autolearn=unavailable autolearn_force=no version=3.4.4
X-Received: by 10.107.146.132 with SMTP id u126mr4232401iod.129.1508530916374;
        Fri, 20 Oct 2017 13:21:56 -0700 (PDT)
X-Received: by 10.157.23.167 with SMTP id j36mr237844otj.7.1508530916347; Fri,
 20 Oct 2017 13:21:56 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!feeder.eternal-september.org!news.unit0.net!peer01.am4!peer.am4.highwinds-media.com!peer01.iad!feed-me.highwinds-media.com!news.highwinds-media.com!border1.nntp.dca1.giganews.com!nntp.giganews.com!k70no2739707itk.0!news-out.google.com!p6ni805itp.0!nntp.google.com!k70no2739706itk.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Fri, 20 Oct 2017 13:21:56 -0700 (PDT)
In-Reply-To: <lyzi8m9jde.fsf@pushface.org>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=93.41.2.250;
 posting-account=9fwclgkAAAD6oQ5usUYhee1l39geVY99
NNTP-Posting-Host: 93.41.2.250
References: <f0077633-90c0-4a78-8e4b-eb4cc62c951c@googlegroups.com>
 <osc8ik$qu$1@gioia.aioe.org>
 <9d7c5c3c-ea15-4045-904c-90eed9435bd0@googlegroups.com>
 <lyzi8m9jde.fsf@pushface.org>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <bba0178f-050b-41f4-9af9-7e367c11e5d7@googlegroups.com>
Subject: Re: GNAT on Raspberry Pi?
From: mockturtle <framefritti@gmail.com>
Injection-Date: Fri, 20 Oct 2017 20:21:56 +0000
Content-Type: text/plain; charset="UTF-8"
X-Received-Body-CRC: 1735686836
X-Received-Bytes: 2501
Xref: news.eternal-september.org comp.lang.ada:48535
Date: 2017-10-20T13:21:56-07:00
List-Id: <comp.lang.ada>

On Friday, October 20, 2017 at 12:57:55 PM UTC+2, Simon Wright wrote:
> mockturtle <framefritti@gmail.com> writes:
> 
> > Anyway, I wrote to AdaCore anyway since it is strange that the package
> > for ARM contains 80386 executables (is maybe something escaping me?).
> 
> The clue is in the "Select your platform" list on the download page:
> "ARM ELF format (hosted on Linux)" - or "on Windows". This is a
> cross-compiler, run on a host x86 computer (Windows or Linux) which
> produces executables to run on an ARM ELF target computer.
> 
> What I don't know is whether the executables run on a bare metal target
> (which might happen to be a Pi board) or whether they run on a Pi which
> is running Linux. I strongly suspect the former, especially because the
> "Select your platform" entry for "Raspberry Pi 2 Linux (32 bits) (hosted
> on Linux)" is greyed out! (it was available in GNAT GPL 2016).

Ahhh... I saw the light...

Now it is clear!  Instead I believed that it was a compiler *running* on ARM.  The meaning of "hosted on Linux" it was not entirely clear to me, but I ignored it...