Re: Open Ravenscar Kernel

[Brian Drummond <brian3@shapes.demon.co.uk>]

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