Open Ravenscar Kernel

Open Ravenscar Kernel

[vincent.diemunsch]

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 ?

Regards,

Vincent

Re: Open Ravenscar Kernel

[Brian Drummond]

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

Re: Open Ravenscar Kernel

[vincent.diemunsch]

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.

Vincent

Re: Open Ravenscar Kernel

[Brian Drummond]

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