There is an ESA-funded project to develop ORK, an "Open-Source
Ravenscar Kernel". If a kernel (rather than a full OS) would
suffice, check out http://www.openravenscar.org. It is now
available only for the SPARC, but is said to be modular and
portable to other targets.
I guess this is not a complete answer, but for what it's worth...
[log in to unmask] Space Systems Finland Ltd.
Phone: +358 9 61 328 625 Kappelitie 6
Secretary: 61 328 600 FIN-02200 Espoo
Fax: 61 328 699 Finland
GSM: +358 40 563 9186
Time Zone: EET = GMT + 2
>From [log in to unmask] Fri Jun 9 16:36 EET 2000
>Date: Fri, 9 Jun 2000 07:37:43 -0600
>Reply-To: Robin Reagan <[log in to unmask]>
>Sender: "Team Ada: Ada Advocacy Issues (83 & 95)" <[log in to unmask]>
>From: Robin Reagan <[log in to unmask]>
>Subject: Ada RTOS.
>To: [log in to unmask]
>With all the recent talk of an Ada "killer app" I was thinking... (I know
>this would not be the popular "killer app" but maybe a micro "killer app"
>for the RT community :).
>Ada shines in the real-time/embedded areas (among others) this is where its
>roots are! How about an RTOS (written in Ada of course) designed for
>embedded systems (The popular term is "appliance" I think). I'm sure this
>has come up before... but why hasn't it been done (or has it?).
>After having worked with vxWorks for the past several months, I can't help
>but think that an open source (BSD license perhaps?) modern RTOS written in
>Ada should do well if it can be shown to be very reliable, easy to
>configure, and flexible.
>My $2.00 worth (inflation).
>Robin P. Reagan - Software Engineer [log in to unmask]
>SEAKR Engineering, Inc. v-303.790.8499
>12847 East Peakview Avenue f-303.790.8720
>Englewood, CO 80011
>"Imagination is more important than knowledge" -Albert Einstein-