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,ced5380ee2562f19
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII
Path: 
 g2news2.google.com!postnews.google.com!m40g2000vbt.googlegroups.com!not-for-mail
From: John Kern <phone.john.kern@gmail.com>
Newsgroups: comp.lang.ada
Subject: Re: ARM Cortex with FreeRTOS
Date: Wed, 11 May 2011 11:48:12 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <0b4efb08-4fd7-44ab-85c9-740a0408d889@m40g2000vbt.googlegroups.com>
References: <5efd5499-e8fb-4915-9d0b-565fb5f08e2c@e8g2000vbz.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 1305139693 1094 127.0.0.1 (11 May 2011 18:48:13
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Wed, 11 May 2011 18:48:13 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: m40g2000vbt.googlegroups.com; posting-host=65.201.194.227;
 posting-account=UbOi7woAAAAaG0ACvpOvUkhmBbyzfyXO
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (Windows NT 5.1;
 rv:2.0.1) Gecko/20100101 Firefox/4.0.1,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:20197
Date: 2011-05-11T11:48:12-07:00
List-Id: <comp.lang.ada>

On May 7, 12:12=A0am, Yosifov Pavel <aqua...@gmail.com> wrote:
> Can be used Ada for ARM Cortex with FreeRTOS (SafeRTOS)? What is the
> scheme of the development process for this case?

Theoretically, the Lego Mindstorms development kit should be very
close to something you could start with.

http://libre.adacore.com/libre/tools/mindstorms/

I don't see direct evidence of an GNAT-ARM cross-compiler, but the
Brick seems to contain an ARM processor.

http://mindstormsnxt.blogspot.com/2006/08/whats-inside-nxt-brick.html

The older "2009 release of GNAT GPL for the LEGO MINDSTORMS NXT" seems
to be build on some OS, which should be mappable to one of your "free"
OSes, if the free one that is included isn't good enough.