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: a07f3367d7,3025dd6d917b499c X-Google-Attributes: gida07f3367d7,public,usenet X-Google-NewGroupId: yes X-Google-Language: ENGLISH,ASCII-7-bit Received: by 10.224.193.72 with SMTP id dt8mr2841046qab.7.1350418255270; Tue, 16 Oct 2012 13:10:55 -0700 (PDT) Received: by 10.52.175.73 with SMTP id by9mr1978303vdc.1.1350418255218; Tue, 16 Oct 2012 13:10:55 -0700 (PDT) Path: r17ni36921179qap.0!nntp.google.com!l8no2367589qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: comp.lang.ada Date: Tue, 16 Oct 2012 13:10:55 -0700 (PDT) In-Reply-To: Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=74.112.164.130; posting-account=UbOi7woAAAAaG0ACvpOvUkhmBbyzfyXO NNTP-Posting-Host: 74.112.164.130 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: Subject: Re: Ada, the best language with the not-so-best tool chain From: phone.john.kern@gmail.com Injection-Date: Tue, 16 Oct 2012 20:10:55 +0000 Content-Type: text/plain; charset=ISO-8859-1 Date: 2012-10-16T13:10:55-07:00 List-Id: On Tuesday, October 16, 2012 4:05:27 PM UTC-4, Simon Clubley wrote: > > > > Over the years I have thought about trying to do a bare metal Ada port for > > ARM, but I never actually got around to looking in detail to see what is > > required. Instead, I have either done something on top of RTEMS or just > > used C. > > Again, see http://libre.adacore.com/academia/mindstorms/