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,fab59b511cb7000f X-Google-NewGroupId: yes X-Google-Attributes: gida07f3367d7,domainid0,public,usenet X-Google-Language: ENGLISH,ASCII Path: g2news1.google.com!postnews.google.com!r2g2000vbj.googlegroups.com!not-for-mail From: John Kern Newsgroups: comp.lang.ada Subject: Re: New educational hardware ideal for Ada... Date: Tue, 14 Jun 2011 07:42:21 -0700 (PDT) Organization: http://groups.google.com Message-ID: <294d8344-3095-407e-a6b1-abcbf395e3a0@r2g2000vbj.googlegroups.com> References: <1d3d9566-0e35-44d2-b164-0bd0fa28edc2@b1g2000yql.googlegroups.com> NNTP-Posting-Host: 65.201.194.227 Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: posting.google.com 1308062542 19152 127.0.0.1 (14 Jun 2011 14:42:22 GMT) X-Complaints-To: groups-abuse@google.com NNTP-Posting-Date: Tue, 14 Jun 2011 14:42:22 +0000 (UTC) Complaints-To: groups-abuse@google.com Injection-Info: r2g2000vbj.googlegroups.com; posting-host=65.201.194.227; posting-account=UbOi7woAAAAaG0ACvpOvUkhmBbyzfyXO User-Agent: G2/1.0 X-Google-Web-Client: true X-Google-Header-Order: HUALESRCNK X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 5.1; rv:2.0.1) Gecko/20100101 Firefox/4.0.1,gzip(gfe) Xref: g2news1.google.com comp.lang.ada:19820 Date: 2011-06-14T07:42:21-07:00 List-Id: On Jun 13, 6:45=A0am, Yannick Duch=EAne (Hibou57) wrote: > Le Mon, 13 Jun 2011 12:02:34 +0200, Martin = =A0 > a =E9crit: > > >http://www.raspberrypi.org/ > > > $25 for an ARM11 powered computer with Ubuntu on it - does that come > > with Ada already? > > > Surely something AdaCore could get behind? > > > -- Martin > > If ever that can help :http://www.arm.com/community/partners/display_prod= uct/rw/ProductId/5620/ > > Note that AdaCore provides specifics programs and partnerships for =A0 > education, so don't be afraid by the mention of GnatPro in that page. > It is unclear to me whether the GNU C compiler sources have an ARM runtime package such that re-compiling the compiler suite would result in a viable host Ada compiler. However it seems there are ARM cross-compilers available: http://libre.adacore.com/libre/tools/mindstorms and https://www2.adacore.com/gap-static/gnat_mindstorms_slides.pdf It seems there are two flavors of ARM cross compilers available as GNAT GPL, one on a free OSEK OS, and another bare Ravenscar profile. Presumably someone would need to modify the Lego NXT board support package to accommodate new hardware, but at least there must be some example code provided with the GPL compiler.