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...

Niklas Holsti

[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-
>