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.129.108.65 with SMTP id h62mr12459868ywc.15.1460314443661;
        Sun, 10 Apr 2016 11:54:03 -0700 (PDT)
X-Received: by 10.182.95.10 with SMTP id dg10mr179763obb.15.1460314443620;
 Sun, 10 Apr 2016 11:54:03 -0700 (PDT)
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!feeder.eternal-september.org!news.glorb.com!7no1293580qgj.0!news-out.google.com!u9ni1102igk.0!nntp.google.com!gy3no1816355igb.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: comp.lang.ada
Date: Sun, 10 Apr 2016 11:54:03 -0700 (PDT)
In-Reply-To: <7903b13e-2627-43cd-8b3b-081144f3cfcc@googlegroups.com>
Complaints-To: groups-abuse@google.com
Injection-Info: glegroupsg2000goo.googlegroups.com;
 posting-host=71.171.109.232;
 posting-account=vk6_JwoAAABkMyHO1YfdP69Hm3CpbdGR
NNTP-Posting-Host: 71.171.109.232
References: <7903b13e-2627-43cd-8b3b-081144f3cfcc@googlegroups.com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <677fdf99-fd8b-445d-a84f-ff9b1d433b11@googlegroups.com>
Subject: Re: Ada on ARM Cortex-M
From: Jeremiah <jeremiah.breeden@gmail.com>
Injection-Date: Sun, 10 Apr 2016 18:54:03 +0000
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: quoted-printable
Xref: news.eternal-september.org comp.lang.ada:30065
Date: 2016-04-10T11:54:03-07:00
List-Id: <comp.lang.ada>

On Wednesday, March 30, 2016 at 9:13:17 AM UTC-4, Maciej Sobczak wrote:
> I'm pleased to announce that the tutorial titled "Ada and SPARK on ARM Co=
rtex-M" got its second edition:
>=20
> http://inspirel.com/articles/Ada_On_Cortex.html
>=20
> The tutorial was extended and now targets four popular development boards=
:
>=20
> - Arduino M0 (or Genuino Zero)
> - Arduino Due
> - STM32 Nucleo-32 (with F0 chip)
> - STM32 Nucleo-144 (with F7 chip)
>=20
> The tutorial explains how to write Ada/SPARK programs with zero run-time,=
 without any underlying layers and based solely on the information from chi=
p reference documentation.
>=20
> Source code for all examples, for all of these boards, is also available.
>=20
> Your feedback is welcome.
>=20
> --=20
> Maciej Sobczak * http://www.inspirel.com

I'm a bit late to the party, but wanted to say thanks for this resource.  I=
t really helped me get started working on my SAML21 (cortex m0+). =20

One minor comment:
In the sections where you start showing gcc commands, you might consider ma=
king another note about the RTS here or perhaps another example.  When I wa=
s going through the examples using the arm-eabi-gcc commands and such, I im=
mediately started hitting errors about not having system.ads.  It took me a=
 bit to realize this was because GNAT GPL 2015 doesn't come with a default =
RTS for the arm-eabi cross compiler calls so you have to specify an RTS (wh=
ich none of the examples address directly).  I know you mentioned needing a=
n RTS in the first section, but for someone new, knowing this is where you =
might be specify it for the cross compiler would be useful.  If you are com=
piling native, I realize this isn't an issue, but wanted to toss that out t=
here for the cross compile folks.

Anyways, thank you for the amazing work.