From: vincent.diemunsch@gmail.com
Subject: Re: Open Ravenscar Kernel
Date: Thu, 27 Nov 2014 12:05:29 -0800 (PST)
Date: 2014-11-27T12:05:29-08:00 [thread overview]
Message-ID: <fb3b7270-244c-4822-83d0-a93c9cbacba6@googlegroups.com> (raw)
In-Reply-To: <m5728k$prb$2@dont-email.me>
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
next prev parent reply other threads:[~2014-11-27 20:05 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2014-11-26 22:06 Open Ravenscar Kernel vincent.diemunsch
2014-11-27 11:34 ` Brian Drummond
2014-11-27 20:05 ` vincent.diemunsch [this message]
2014-11-28 10:28 ` Brian Drummond
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox