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=-0.9 required=5.0 tests=BAYES_00,FORGED_GMAIL_RCVD, FREEMAIL_FROM autolearn=no autolearn_force=no version=3.4.4 X-Google-Thread: 103376,3025dd6d917b499c X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.224.183.13 with SMTP id ce13mr2610683qab.4.1350048529839; Fri, 12 Oct 2012 06:28:49 -0700 (PDT) Received: by 10.52.91.109 with SMTP id cd13mr622610vdb.15.1350048529791; Fri, 12 Oct 2012 06:28:49 -0700 (PDT) Path: r17ni22445675qap.0!nntp.google.com!l8no46452494qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Fri, 12 Oct 2012 06:28:49 -0700 (PDT) In-Reply-To: <9d1399b0-bf69-4c4a-bcf0-53081f4d2a11@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=83.150.124.2; posting-account=QrZwxQoAAAByl3YAWTpexAk3yBYyZMHn NNTP-Posting-Host: 83.150.124.2 References: <38af7fb8-b0a4-4a31-87aa-b7b698cc89c3@googlegroups.com> <1930oitnyzms0$.1maochag0ph87.dlg@40tude.net> <9d1399b0-bf69-4c4a-bcf0-53081f4d2a11@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <75d737ac-28dc-4f07-bef1-ffd4d766f413@googlegroups.com> Subject: Re: Ada, the best language with the not-so-best tool chain From: kalvin.news@gmail.com Injection-Date: Fri, 12 Oct 2012 13:28:49 +0000 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Date: 2012-10-12T06:28:49-07:00 List-Id: perjantai, 12. lokakuuta 2012 15.09.54 UTC+3 Lucretia kirjoitti: > On Sunday, 7 October 2012 23:35:24 UTC+1, Simon Clubley wrote: >=20 >=20 >=20 > > Someone here in c.l.a has also done some work on making GNAT run on >=20 > >=20 >=20 > > bare metal ARM boards. I do not know the current status of that work. >=20 >=20 >=20 > That would be me. At present, no further along, but I've not really spent= much time on it. The quick test results of STM32F4DISCOVERY board with Ada= on is here: https://github.com/Lucretia/tamp/tree/master/blink >=20 >=20 >=20 > I spent last week documenting what I need to do to get a decent runtime g= oing for Cortex boards (and similar other arches), so I am looking into it = again. This would provide a port of CMSIS + a RTOS kernel which provides ta= sking support, enough for a Ravenscar RTS. >=20 >=20 >=20 > Luke. Hi Luke, Just placed an order for the STM32F4DISCOVERY at eBay. I am really looking = forward to this one :) Br, Kalvin