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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!mx02.eternal-september.org!.POSTED!not-for-mail
From: Brian Drummond <brian3@shapes.demon.co.uk>
Newsgroups: comp.lang.ada
Subject: Re: Open Ravenscar Kernel
Date: Fri, 28 Nov 2014 10:28:51 +0000 (UTC)
Organization: A noiseless patient Spider
Message-ID: <m59ip3$mik$1@dont-email.me>
References: <fd457a2c-0937-47b2-85ef-f876fcf4da61@googlegroups.com>
	<m5728k$prb$2@dont-email.me>
	<fb3b7270-244c-4822-83d0-a93c9cbacba6@googlegroups.com>
Mime-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
Injection-Date: Fri, 28 Nov 2014 10:28:51 +0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="da745e888d4a5182b5fda6212bbb0a63";
	logging-data="23124"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1/nULpY2NXQcjeM2L4TKBMInMaChWmUKOo="
User-Agent: Pan/0.139 (Sexual Chocolate; GIT bf56508
 git://git.gnome.org/pan2)
Cancel-Lock: sha1:b+v/Sf+nuUuJKfmi4Ts+lhaGGaE=
Xref: news.eternal-september.org comp.lang.ada:23776
Date: 2014-11-28T10:28:51+00:00
List-Id: <comp.lang.ada>

On Thu, 27 Nov 2014 12:05:29 -0800, vincent.diemunsch wrote:

> On Thursday, November 27, 2014 12:35:00 PM UTC+1, Brian Drummond wrote:
>> On Wed, 26 Nov 2014 14:06:54 -0800, vincent.diemunsch wrote:
>> 
>> > Hi folks,
>> > 
>> > I can't find the source code of the Open Ravenscar Kernel. The
>> > OpenRavenscar.org website is closed and I get redirected to :
>> > http://www.dit.upm.es/~ork/index.html/. Then it downloaded the
>> > GNATforLeon source package, but I couldn't find the packages
>> > implementing the ORK in Ada.
>> > Does anybody knows where I could find them ?
>> > 
>> > 
>> I think you'll find they are in the gcc/ada folder, not clearly
>> separated out from the rest of the Ada compiler sources. Takes some
>> digging to separate them out into a separate project.
>> 
>> -- Brian
> 
> Thank you Brian.
> I'll try to do that.
> 

I made some progress with it at one point. However it seems to be 
licensed as pure GPL (no GMGPL exception) so I gave up and decided to 
look for other Ravenscar implementations without the runtime 
restrictions. (Not successfully so far, but there's an effort to develop 
such for ARM-Cortex)

If GPL is fine for you, good luck.

- Brian