From: "Per Jakobsen" <pdj@dontwork.dk>
Subject: Re: RTL for GNAT?
Date: Thu, 3 Oct 2002 15:43:43 +0200
Date: 2002-10-03T15:43:43+02:00 [thread overview]
Message-ID: <anhhhj$h24$1@news.net.uni-c.dk> (raw)
In-Reply-To: u65wm1bsq.fsf@gsfc.nasa.gov
Hi again,
> Beyond that, there are a few research projects that are writing
> GNAT-specific kernels, that provide the minimum needed for full Ada.
> See recent issues of Ada Letters at
> http://www.acm.org/sigada/ada_letters/index.html (seems to be down
> just now).
After a search-session I have found the following enviroments (or actually
minimal OS's):
*) RTEMS - http://www.rtems.com/
*) OpenRavenscar - http://www.openravenscar.org/
*) MaRTE - http://marte.unican.es/
*) BOSS - http://www.first.gmd.de/~sergio/public/ada2002-v4.pdf
(Didn't find a better link)
*) ORK - http://polaris.dit.upm.es/~ork/ (I'm not sure if this is in
fact the OpenRavenscar above...)
Many of these seem to refere to something called the Ravenscar Profile:
ftp://ftp.openravenscar.org/openravenscar/ravenscar00.pdf
There are probably even more out there!??
If you know of more, I would appreciate a link ;-)
Best regards
Per - The super Ada hard-core programmer wannabe ;-)
prev parent reply other threads:[~2002-10-03 13:43 UTC|newest]
Thread overview: 4+ messages / expand[flat|nested] mbox.gz Atom feed top
2002-10-01 7:57 RTL for GNAT? Per Jakobsen
2002-10-01 14:19 ` Stephen Leake
2002-10-03 11:45 ` Per Jakobsen
2002-10-03 13:43 ` Per Jakobsen [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox