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 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,677963b1aa23e668
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!news3.google.com!fu-berlin.de!uni-berlin.de!individual.net!not-for-mail
From: Niklas Holsti <niklas.holsti@tidorum.invalid>
Newsgroups: comp.lang.ada
Subject: Re: What's stopping you from using Ada for your next commercial
 project?
Date: Mon, 14 Mar 2011 20:00:45 +0200
Organization: Tidorum Ltd
Message-ID: <8u73eeFf5iU1@mid.individual.net>
References: 
 <7d308b7b-51d7-4c93-85c8-eecb40f843d0@glegroupsg2000goo.googlegroups.com>
 <c5e364b3-5a69-46b6-ad6d-8df248b34af6@a11g2000pri.googlegroups.com>
 <4d7a51e2$0$6879$9b4e6d93@newsspool2.arcor-online.net>
 <1e165e21-626c-4857-ab92-1c92cbeb5b5b@dn9g2000vbb.googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252; format=flowed
Content-Transfer-Encoding: 7bit
X-Trace: individual.net rezx0NUqCVFVz8ta2ulhIQulfvx6wsd6oxK5lS4isnOM16Mqef
Cancel-Lock: sha1:MGSKYqeZg0AQBNYYzXaPfGaRT60=
User-Agent: Mozilla-Thunderbird 2.0.0.24 (X11/20100328)
In-Reply-To: 
 <1e165e21-626c-4857-ab92-1c92cbeb5b5b@dn9g2000vbb.googlegroups.com>
Xref: g2news2.google.com comp.lang.ada:19151
Date: 2011-03-14T20:00:45+02:00
List-Id: <comp.lang.ada>

jonathan wrote:

> "Lego Mindstorms NXT"  wikipedia article:
> 
>   A port of GNAT is available for the NXT. It relies
>   on a dedicated run-time kernel based on the Ravenscar
>   profile, the same used on the Goce satellite: 

Just to avoid a misunderstanding or misreading of the above: I am rather 
certain that the similarity between GNAT for NXT and the GOCE satellite 
is limited to both using kernels that implement the Ravenscar profile; I 
do not think they can use the same kernel. GOCE uses a Ravenscar kernel 
delivered with the ERC32 (SPARC V7) Ada compiler from XGC Technology 
(www.xgc.com), and I believe that this kernel is not available for the 
ARM7/NXT.

-- 
Niklas Holsti
Tidorum Ltd
niklas holsti tidorum fi
       .      @       .